Výroková logika - Základy a teorie

Základní logické spojky

Když chceš spojit dva výroky, máš k dispozici čtyři základní způsoby. Konjunkce (∧) znamená "a zároveň" - oba výroky musí platit současně. Disjunkce (∨) říká "nebo" - stačí, když platí aspoň jeden výrok.

Implikace (⇒) funguje jako "jestliže-pak" a je tady jeden zásadní trik. Když je předpoklad nepravdivý, celá implikace je automaticky pravdivá - "z lži vyplývá cokoliv". Ekvivalence (↔) znamená, že oba výroky platí nebo neplatí současně.

💡 Tip: Implikace je pravdivá ve všech případech kromě situace "pravda ⇒ nepravda". Zapamatuj si to jako jediný případ, kdy implikace "selže".

Ekvivalence a tautologie

Ekvivalence funguje jako matematické "rovná se" - výroky a ↔ b platí právě tehdy, když mají oba stejnou pravdivostní hodnotu. Buď jsou oba pravdivé, nebo oba nepravdivé.

Důležité je rozpoznat tautologii - výrok, který je vždy pravdivý bez ohledu na hodnoty proměnných. V tabulkách poznáš tautologii tak, že má ve výsledném sloupci samé jedničky.

Ekvivalence má speciální vlastnost: a ↔ b je totéž jako ¬b ⇒ ¬a. Tohle se hodí při dokazování matematických vět.

💡 Pozor: Ekvivalence je "obousměrná implikace" - pokud platí jedna strana, musí platit i druhá, a naopak.

Negace složených výroků

Když potřebuješ znegovat složený výrok, používej De Morganova pravidla. Negace konjunkce ¬(a∧b) se rovná ¬a∨¬b - "není pravda, že platí obojí" znamená "neplatí aspoň jedno".

Negace disjunkce funguje opačně: ¬(a∨b) = ¬a∧¬b. Negace implikace je jednoduchá - ¬(a⇒b) = a∧¬b, což znamená "předpoklad platí, ale závěr ne".

Pro negaci ekvivalence platí ¬(a↔b) = a↔¬b = b↔¬a. Ekvivalence je nepravdivá, když jeden výrok platí a druhý ne.

💡 Zapamatuj si: De Morganova pravidla fungují jako "převrácení" - AND se změní na OR, OR na AND, a všechno se zneguje.