Skillnad mellan versioner av "5.6 Implikation och ekvivalens"
Taifun (Diskussion | bidrag) m |
Taifun (Diskussion | bidrag) m |
||
Rad 62: | Rad 62: | ||
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</span>]] ett bevis för implikation eller för ekvivalens? | ||
</b></big> | </b></big> | ||
</div> | </div> |
Versionen från 21 februari 2020 kl. 10.12
<<< Förra avsnitt | Genomgång | Övningar |
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 en implikation eller en ekvivalens?
Och i så fall mellan vilka utsagor?
Är beviset av Pythagoras sats ett bevis för implikation eller för ekvivalens?
Copyright © 2020 TechPages AB. All Rights Reserved.