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">Två logiska operatorer: Implikation (<math> \implies </math>) och Ekvivalens (<math> \iff </math>) | + | = <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: Ind_bev_1_1.jpg]] </div> | ||
Versionen från 29 juni 2024 kl. 11.38
| << 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.
