Skillnad mellan versioner av "5.1 Implikation och ekvivalens"
Från Mathonline
Taifun (Diskussion | bidrag) m |
Taifun (Diskussion | bidrag) m |
||
| (2 mellanliggande versioner av samma användare visas inte) | |||
| Rad 9: | Rad 9: | ||
| style="border-bottom:1px solid #797979" width="100%"| | | style="border-bottom:1px solid #797979" width="100%"| | ||
|} | |} | ||
| + | |||
| + | |||
| + | <div class="border-divblue"> | ||
| + | <big><b><span style="color:#931136"> | ||
| + | Implikation och ekvivalens</span> är: | ||
| + | |||
| + | * 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. | ||
| + | |||
| + | 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>. | ||
| + | |||
| + | * Kan användas även i alla vardagliga sammanhang, se exemplen: | ||
| + | </b></big> | ||
| + | </div> | ||
| + | |||
| + | |||
| + | = <b><span style="color:#931136">Exempel på implikation</span></b> = | ||
<div class="ovnE"> | <div class="ovnE"> | ||
| − | + | <div style="border:1px solid black;display:inline-table;margin-left: 0px;"> [[Image: Implikation_ekvivalens_1b.jpg]] </div> | |
| − | <div style="border:1px solid black;display:inline-table;margin-left: 0px;"> [[Image: | + | </div> |
| − | <div | + | <div class="border-divblue"> |
| + | <big><b> | ||
| + | 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. | ||
| − | + | 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 uttryck eller tal. | ||
| + | </b></big> | ||
| + | </div> | ||
| − | + | ||
| + | = <b><span style="color:#931136">Exempel på ekvivalens</span></b> = | ||
| + | |||
| + | <div class="ovnC"> | ||
| + | <div style="border:1px solid black;display:inline-table;margin-left: 0px;"> [[Image: Implikation_ekvivalens_2a.jpg]] </div> | ||
</div> | </div> | ||
| + | |||
| + | |||
| + | |||
| + | <br> | ||
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.
