Skillnad mellan versioner av "5.1 Implikation och ekvivalens"
Från Mathonline
Taifun (Diskussion | bidrag) m |
Taifun (Diskussion | bidrag) m |
||
| Rad 15: | Rad 15: | ||
Implikation och ekvivalens</span> är: | Implikation och ekvivalens</span> är: | ||
| − | * Logiska verktyg i matematisk bevisföring, se [[5. | + | * Logiska verktyg i matematisk bevisföring, se [[5.2 Definition, sats och bevis|<span style="color:blue">nästa avsnitt</span>]]. |
* Logiska operatorer som kan skrivas mellan två utsagor. | * Logiska operatorer som kan skrivas mellan två utsagor. | ||
Nuvarande version från 3 april 2024 kl. 14.28
| << Startsida | Innehållsförteckning | Genomgång | Övningar | Nästa avsnitt >> |
Implikation och ekvivalens är:
- Logiska verktyg i matematisk bevisföring, se nästa 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
Copyright © 2024 Lieta AB. All Rights Reserved.
