Skillnad mellan versioner av "5.7 Problemlösning: Cirkel-kvadrat problemet"
Taifun (Diskussion | bidrag) (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|5.5 Geomet...') |
Taifun (Diskussion | bidrag) m |
||
| 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|[[ | + | {{Not selected tab|[[Det duala Cirkel-kvadrat problemet|Duala problemet >>]]}} |
| style="border-bottom:1px solid #797979" width="100%"| | | style="border-bottom:1px solid #797979" width="100%"| | ||
|} | |} | ||
Versionen från 25 mars 2020 kl. 14.32
| <<< Förra avsnitt | Genomgång | Övningar | Duala problemet >> |
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.
