Skillnad mellan versioner av "5.6 Implikation och ekvivalens"
Från Mathonline
Taifun (Diskussion | bidrag) m |
Taifun (Diskussion | bidrag) m |
||
| Rad 36: | Rad 36: | ||
En implikation som gäller i <span style="color:#931136">båda</span> riktningar kallas för <span style="color:#931136">ekvivalens</span>. | En implikation som gäller i <span style="color:#931136">båda</span> riktningar kallas för <span style="color:#931136">ekvivalens</span>. | ||
| − | En <span style="color:#931136">ekvivalens</span> är en implikation <span style="color:#931136">och</span> dess omvända | + | En <span style="color:#931136">ekvivalens</span> är en implikation <span style="color:#931136">och</span> dess omvända. |
| + | |||
| + | 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. | ||
</b></big> | </b></big> | ||
</div> | </div> | ||
Versionen från 20 februari 2020 kl. 16.56
| <<< Förra avsnitt | Genomgång | Övningar |
Implikation och ekvivalens är:
- Logiska verktyg i matematisk bevisföring.
- Logiska operatorer som kan skrivas mellan två utsagor.
En utsaga är ett påstående eller en sats som kan vara sant eller falskt.
Implikation symboliseras med \( \;\; \implies \;\; \), ekvivalens med \( \;\; \iff \;\; \).
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.
Exempel på ekvivalens
Copyright © 2020 TechPages AB. All Rights Reserved.
