Skillnad mellan versioner av "5.6 Implikation och ekvivalens"
Från Mathonline
Taifun (Diskussion | bidrag) m |
Taifun (Diskussion | bidrag) m |
||
| Rad 19: | Rad 19: | ||
En <span style="color:#931136">utsaga</span> är ett påstående eller en sats som kan vara sant eller falskt. | En <span style="color:#931136">utsaga</span> är ett påstående eller en sats som kan vara sant eller falskt. | ||
| − | <span style="color:#931136">Implikation</span> symboliseras med <math> \;\; \implies \;\; </math>, <span style="color:#931136">ekvivalens</span> med <math> \;\; \ | + | <span style="color:#931136">Implikation</span> symboliseras med <math> \;\; \implies \;\; </math>, <span style="color:#931136">ekvivalens</span> med <math> \;\; \iff \;\; </math>. |
</b></big> | </b></big> | ||
</div> | </div> | ||
Versionen från 20 februari 2020 kl. 16.34
| <<< Förra avsnitt | Genomgång | Övningar |
Implikation och ekvivalens är:
- Logiska verktyg i matematisk bevisföring,
- Logiska operatorer som kan skrivas mellan två utsagor.
En utsaga är ett påstående eller en sats som kan vara sant eller falskt.
Implikation symboliseras med \( \;\; \implies \;\; \), ekvivalens med \( \;\; \iff \;\; \).
Exempel på implikation
Ekvivalens
Randvinkelsatsen
Beviset för randvinkelsatsen
Randvinkelsatsens bevis bygger i sin tur på:
- Yttervinkelsatsen.
- Satsen om att likbenta trianglars basvinklar är lika stora.
- Algebra: \( \quad a = c \quad \text{och} \quad b = d \; \implies \; a+b = c+d \)
Veckans kluring (A-uppgift)
Copyright © 2020 TechPages AB. All Rights Reserved.
