1.10 Indirekta bevis
Från Mathonline
Version från den 29 juni 2024 kl. 11.21 av Taifun (Diskussion | bidrag)
<< Förra avsnitt | Innehållsförteckning | Genomgång | Övningar | Nästa avsnitt >> |
Indirekt bevis = Motsägelsebevis
Två logiska operatorer: Implikation (\( \implies \)) och Ekvivalens (\( \iff \))
Copyright © 2024 Lieta AB. All Rights Reserved.