Skillnad mellan versioner av "1.10 Indirekta bevis"
Från Mathonline
Taifun (Diskussion | bidrag) m |
Taifun (Diskussion | bidrag) m |
||
| Rad 11: | Rad 11: | ||
| − | = <b><span style="color:#931136"> | + | = <b><span style="color:#931136">Två logiska operatorer: Implikation (<math> \implies </math>) och Ekvivalens (<math> \iff </math>)</span></b> |
| + | </span></b> = | ||
<div class="ovnE"> | <div class="ovnE"> | ||
| − | + | <div style="border:1px solid black;display:inline-table;margin-left: 0px;"> [[Image: Ind_bev_1_1.jpg]] </div> | |
| − | <div style="border:1px solid black;display:inline-table;margin-left: 0px;"> [[Image: | + | |
</div> | </div> | ||
| + | = <b><span style="color:#931136">Indirekt bevis = Motsägelsebevis</span></b> = | ||
<div class="ovnC"> | <div class="ovnC"> | ||
| + | <div style="border:1px solid black;display:inline-table;margin-left: 0px;"> [[Image: Ind_bev_1_2.jpg]] </div> | ||
| + | </div> | ||
| + | |||
| + | |||
| + | <div class="ovnA"> | ||
<div style="border:1px solid black;display:inline-table;margin-left: 0px;"> [[Image: Ind_bev_2.jpg]] </div> | <div style="border:1px solid black;display:inline-table;margin-left: 0px;"> [[Image: Ind_bev_2.jpg]] </div> | ||
</div> | </div> | ||
Versionen från 29 juni 2024 kl. 11.37
| << 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.
