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