Máte, samozřejmě, pravdu. Nemůže.
Ukažme si tento závěr v tabulce pravdivostních hodnot.
označme výroky
A - bude to holka
B - bude to kluk , ale to je vlastně opačný výrok k výroku A, tedy ¬A
Výrok Bude to holka nebo kluk můžeme označit
Pravdivostní tabulka ukazuje, že (A∨¬A) je vždy pravdivý výrok.
| A | ¬A | A∨¬A |
|---|---|---|
| 1 | 0 | 1 |
| 0 | 1 | 1 |
Otázka: Jaké označení navrhujete pro výrok (A∧¬A)
vždy pravdivý výrok vždy nepravdivý výrok vždy sporný výrok