Skillnad mellan versioner av "1.10 Indirekta bevis"
Från Mathonline
Taifun (Diskussion | bidrag) (Skapade sidan med '__NOTOC__ {| border="0" cellspacing="0" cellpadding="0" height="30" width="100%" | style="border-bottom:1px solid #797979" width="5px" | {{Not selected tab|1.9 Direkt...') |
Taifun (Diskussion | bidrag) m |
||
Rad 13: | Rad 13: | ||
= <b><span style="color:#931136">Indirekt bevis = Motsägelsebevis</span></b> = | = <b><span style="color:#931136">Indirekt bevis = Motsägelsebevis</span></b> = | ||
<div class="ovnE"> | <div class="ovnE"> | ||
− | === <b><span style="color:#931136"> | + | === <b><span style="color:#931136">Två logiska operatorer: Implikation (<math> \implies </math>) och Ekvivalens (<math> \iff </math>)</span></b> === |
<div style="border:1px solid black;display:inline-table;margin-left: 0px;"> [[Image: Ind_bev_1.jpg]] </div> | <div style="border:1px solid black;display:inline-table;margin-left: 0px;"> [[Image: Ind_bev_1.jpg]] </div> | ||
</div> | </div> |
Versionen från 29 juni 2024 kl. 11.21
<< 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.