Co si z toho odnést?
Výrok je tvrzení (sdělení), u kterého Ize určit, zda je, nebo není pravdivé.
Konjunkce (symbol „\land“) je složený výrok tvořený logickou spojkou „a zároveň“. Pravdivý je jenom tehdy, když jsou současně oba jednoduché výroky pravdivé.
Disjunkce (symbol „\lor“) je složený výrok tvořený logickou spojkou „nebo“. Pravdivý je jen tehdy, když alespoň (minimálně) jeden z jednoduchých výroků je pravdivý. případu, kdy je první jednoduchý výrok pravdivý a druhý jednoduchý výrok nepravdivý.
Ekvivalence (symbol „\lrArr” je složený výrok tvořený logickou spojkou „právě tehdy, když“. Pravdivý je pouze tehdy, když mají oba jednoduché výroky stejnou pravdivostní hodnotu (oba jsou pravdivé, nebo oba nepravdivé).
Podle tabulky pravdivostních hodnot složených výroků Ize snadněji určovat, zda je výrok pravdivý, či nikoliv. Tato tabulka pouze shrnuje, kdy je a kdy není konjunkce, disjunkce, implikace a ekvivalence pravdivá.
Negace složených výroků:
Kvantifikované výroky:
