Skillnad mellan versioner av "1.10 Indirekta bevis"

Från Mathonline
Hoppa till: navigering, sök
(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...')
 
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">Tre steg (olika nivåer) att behandla en sats som ska bevisas:</span></b> ===
+
=== <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 \))


Ind bev 2.jpg







Copyright © 2024 Lieta AB. All Rights Reserved.