Výrok (logika): Porovnání verzí
Smazaný obsah Přidaný obsah
Pokus o nápravu hesla ve velmi špatném stavu, přidáno Upravit |
→Složené výroky, logické spojky: wikifikace |
||
Řádek 40:
Spojením jednoduchých výroků logickými spojkami vzniknou složené výroky.
[[Konjunkce]]: <math>A \
, což čteme „A a B“ „A a současně“ „A i B“. Konjunkce je pravdivá jen v případě, kdy jsou oba výroky pravdivé.
[[Disjunkce]]: <math>A
[[
[[Implikace]]: <math>A \Leftrightarrow B</math>▼
, což čteme „z A vyplývá B“ či „jestliže A, pak B“. Implikace je nepravdivá jen v případě, že předpoklad A je pravdivý, ale tvrzení B je nepravdivé.
Ekvivalence: AB, což čteme „A právě tehdy když B“ „A tehdy a jen tehdy když B“▼
▲[[Ekvivalence]]:
Negace složených výroků:
{| {{wikitabulka}}
! !!Složený výrok
|-
|[[Konjunkce]] || <math>A \land B</math> || <math>\neg A \lor \neg B</math>
|-
|[[Disjunkce]] || <math> A \lor B </math> || <math>\neg A \land \neg B</math>
|-
|[[Implikace]] || <math> A \Rightarrow B </math> || <math> A \land \neg B</math>
|-
|Ekvivalence || <math> A \Leftrightarrow B </math> || <math> A \veebar B </math>
|}
Př. Je dáno 5 jednoduchých výroků:
|