Ekvivalence (logika)
Z Wikipedie, otevřené encyklopedie
Obsah |
[editovat] Význam
Název ekvivalence je v logice používán pro binární logický operátor značený symbolem 
.
Významově odpovídá tento operátor větné konstrukci "právě když" nebo také "tehdy a jen tehdy, když" - ekvivalence tedy říká, že spojovaná tvrzení platí pouze zároveň (obě ano, nebo obě ne). Tomu odpovídá i pravdivostní tabulka této operace.
[editovat] Pravdivostní tabulka
| A | B |  |
|---|---|---|
| 0 | 0 | 1 |
| 0 | 1 | 0 |
| 1 | 0 | 0 |
| 1 | 1 | 1 |
[editovat] Vlastnosti a použití
Ekvivalence je používána v logických výpočtech podobným způsobem, jako relace = v aritmetických výpočtech - takový výpočet je obvykle posloupnost ekvivalencí, jako v následujícím případě:
Pravdivostní hodnota ekvivalence je shodná s pravdivostní hodnotou oboustranné implikace, tj. následující dvě formule mají stejnou pravdivostní tabulku:
Pravdivostní hodnota ekvivalence je opačná k pravdivostní hodnotě disjunkce, tj. následující dvě formule mají stejnou pravdivostní tabulku:
[editovat] Podívejte se také na
 |
Související články obsahuje: |
