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