Skillnad mellan versioner av "5.6 Implikation och ekvivalens"
Från Mathonline
Taifun (Diskussion | bidrag) m |
Taifun (Diskussion | bidrag) m |
||
| (11 mellanliggande versioner av samma användare visas inte) | |||
| Rad 1: | Rad 1: | ||
| − | + | __NOTOC__ | |
{| border="0" cellspacing="0" cellpadding="0" height="30" width="100%" | {| border="0" cellspacing="0" cellpadding="0" height="30" width="100%" | ||
| style="border-bottom:1px solid #797979" width="5px" | | | style="border-bottom:1px solid #797979" width="5px" | | ||
| Rad 5: | Rad 5: | ||
{{Selected tab|[[5.6 Implikation och ekvivalens|Genomgång]]}} | {{Selected tab|[[5.6 Implikation och ekvivalens|Genomgång]]}} | ||
{{Not selected tab|[[5.6 Övningar till Implikation och ekvivalens|Övningar]]}} | {{Not selected tab|[[5.6 Övningar till Implikation och ekvivalens|Övningar]]}} | ||
| + | {{Not selected tab|[[5.7 Problemlösning: Cirkel-kvadrat problemet|Nästa avsnitt >>]]}} | ||
| style="border-bottom:1px solid #797979" width="100%"| | | style="border-bottom:1px solid #797979" width="100%"| | ||
|} | |} | ||
| Rad 13: | Rad 14: | ||
Implikation och ekvivalens</span> är: | Implikation och ekvivalens</span> är: | ||
| − | * Logiska verktyg i matematisk bevisföring. | + | * Logiska verktyg i matematisk bevisföring, se [[5.5_Geometriska_satser_och_bevis#Yttervinkelsatsen|<span style="color:blue">förra avsnitt</span>]]. |
* Logiska operatorer som kan skrivas mellan två utsagor. | * Logiska operatorer som kan skrivas mellan två utsagor. | ||
| − | En <span style="color:#931136">utsaga</span> är ett påstående eller en sats som | + | En <span style="color:#931136">utsaga</span> är ett påstående eller en sats som antingen är sant eller falskt. |
<span style="color:#931136">Implikation</span> symboliseras med <math> \;\; \implies \;\; </math>, <span style="color:#931136">ekvivalens</span> med <math> \;\; \iff \;\; </math>. | <span style="color:#931136">Implikation</span> symboliseras med <math> \;\; \implies \;\; </math>, <span style="color:#931136">ekvivalens</span> med <math> \;\; \iff \;\; </math>. | ||
| Rad 42: | Rad 43: | ||
Ekvivalens betyder <span style="color:#931136">(logisk) likvärdighet</span>. På latin: <span style="color:#931136">ekvi</span> = lik, <span style="color:#931136">valens</span> = värdighet. | Ekvivalens betyder <span style="color:#931136">(logisk) likvärdighet</span>. På latin: <span style="color:#931136">ekvi</span> = lik, <span style="color:#931136">valens</span> = värdighet. | ||
| − | <math> \; \iff \;\; </math> sätts mellan utsagor och ersätter <math> \; = \; </math> som sätts mellan | + | <math> \; \iff \;\; </math> sätts mellan utsagor och ersätter <math> \; = \; </math> som sätts mellan uttryck eller tal. |
</b></big> | </b></big> | ||
</div> | </div> | ||
| Rad 59: | Rad 60: | ||
<div class="border-divblue"> | <div class="border-divblue"> | ||
<big><b> | <big><b> | ||
| − | Är <span style="color:#931136">Pythagoras sats</span> en implikation eller en ekvivalens? | + | Är [[5.3_Pythagoras_sats#Ett_bevis_av_Pythagoras_sats|<span style="color:#931136">Pythagoras sats (påståendet i 5.3)</span>]] en implikation eller en ekvivalens? |
Och i så fall mellan vilka utsagor? | Och i så fall mellan vilka utsagor? | ||
| + | |||
| + | Är [[5.3_Pythagoras_sats#Ett_bevis_av_Pythagoras_sats|<span style="color:#931136">beviset av Pythagoras sats (5.3)</span>]] ett bevis för implikation eller för ekvivalens? | ||
</b></big> | </b></big> | ||
</div> | </div> | ||
Nuvarande version från 25 mars 2020 kl. 14.28
| <<< Förra avsnitt | Genomgång | Övningar | Nästa avsnitt >> |
Implikation och ekvivalens är:
- Logiska verktyg i matematisk bevisföring, se förra avsnitt.
- Logiska operatorer som kan skrivas mellan två utsagor.
En utsaga är ett påstående eller en sats som antingen är sant eller falskt.
Implikation symboliseras med \( \;\; \implies \;\; \), ekvivalens med \( \;\; \iff \;\; \).
- Kan användas även i alla vardagliga sammanhang, se exemplen:
Exempel på implikation
En implikation som gäller i båda riktningar kallas för ekvivalens.
En ekvivalens är en implikation och dess omvända.
Ekvivalens betyder (logisk) likvärdighet. På latin: ekvi = lik, valens = värdighet.
\( \; \iff \;\; \) sätts mellan utsagor och ersätter \( \; = \; \) som sätts mellan uttryck eller tal.
Exempel på ekvivalens
Dagens testfråga
Är Pythagoras sats (påståendet i 5.3) en implikation eller en ekvivalens?
Och i så fall mellan vilka utsagor?
Är beviset av Pythagoras sats (5.3) ett bevis för implikation eller för ekvivalens?
Copyright © 2020 TechPages AB. All Rights Reserved.
