Skillnad mellan versioner av "5.6 Implikation och ekvivalens"
Från Mathonline
Taifun (Diskussion | bidrag) m |
Taifun (Diskussion | bidrag) m |
||
| Rad 9: | Rad 9: | ||
| − | = <b><span style="color:#931136">Implikation | + | <div class="border-divblue"> |
| + | <big><b><span style="color:#931136"> | ||
| + | Implikation och ekvivalens är: | ||
| + | * Implikation och ekvivalens är logiska verktyg i matematisk bevisföring, | ||
| − | + | * eller: logiska operatorer som kan skrivas mellan två utsagor. | |
| − | + | ||
| − | + | ||
| + | * En utsaga är ett påstående som kan vara sant eller falskt. | ||
| − | < | + | * Implikation skrivs med symbolen <span style="color:black">:</span> <math> \qquad \implies \; </math>. |
| − | < | + | </span></b></big> |
| − | + | </div> | |
| − | |||
| − | + | = <b><span style="color:#931136">Implikation</span></b> = | |
| − | + | ||
| − | + | <div class="ovnE"> | |
| + | <div style="border:1px solid black;display:inline-table;margin-left: 0px;"> [[Image: Implikation_ekvivalens_1a.jpg]] </div> | ||
</div> | </div> | ||
Versionen från 20 februari 2020 kl. 16.15
| <<< Förra avsnitt | Genomgång | Övningar |
Implikation och ekvivalens är:
- Implikation och ekvivalens är logiska verktyg i matematisk bevisföring,
- eller: logiska operatorer som kan skrivas mellan två utsagor.
- En utsaga är ett påstående som kan vara sant eller falskt.
- Implikation skrivs med symbolen : \( \qquad \implies \; \).
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.
