Určování pravdivosti

Výrok je věta nebo tvrzení, které je buď pravdivé, nebo nepravdivé. V této sekci se zabýváme právě výroky a jejich jednoduchými kombinacemi a určováním jejich pravdivosti.

Příklady výroků

• „Dnes jsem vstal v osm hodin ráno.“
• „Mám na sobě červené tričko.“
• „Můj bratr je starší než já.“

Příklady vět, které výroky nejsou

• „Bude zítra pršet?“
• „Běž spát!“
• „Proč je tráva zelená?“

Kromě samotných výroků můžeme také výroky kombinovat. Výsledek takové kombinace je opět buďto pravdivý, nebo nepravdivý.

Základní kombinace a úpravy výroků

• První výrok a zároveň druhý výrok → platí oba výroky
• První výrok nebo druhý výrok → platí alespoň jeden z výroků
• Neplatí výrok → výrok neplatí; tedy pokud je výrok pravdivý, tak výsledek pravdivý nebude, a naopak.