Složené výroky
Složený výrok je výrok sestavený z jednoduchých výroků pomocí logických spojek (přesně daná slova nebo slovní spojení), kterými jsou: „a zároveň“, „nebo“, „jestliže..., pak..." a „právě tehdy, když“. Jejich pravdivostní hodnota se zpravidla zjišťuje pomocí pravdivostních tabulek.
Celkově vždy budeš určovat pravdivost jednoho složeného výroku, který je sestaven z několika jednoduchých výroků. Cílem je ukázat např. v tabulce, kdy bude složený výrok pravdivý a kdy nepravdivý v závislosti na jednoduchých výrocích. Pokud budou dva jednoduché výroky, pak existují čtyři možnosti:
Místo odrážek se používá pravdivostní tabulka, kam se místo pravdy píše číslo 1 a místo nepravdy hodnota 0. Jak jsem již říkal, jednotlivé výroky se označují malými písmeny, např. a, b, c, a proto jsou v tabulce označené malými písmeny místo psaním celé věty.
V případě složeného výroku ze tří jednoduchých výroků by existovalo 8 možností, u čtyř výroků pak 16 možností atd. Prostě platí 2^{n} možností, kde n je počet jednoduchých výroků. V tabulce je důležité, aby každý rádek obsahoval jednu konkrétní možnost, která nebude duplicitní (je zbytečné až matoucí, kdyby v tabulce byly dva úplně stejné řádky, např. 1 a 1 a pak někde na dalším řádku by znova bylo 1 a 1).
Jednotlivé spojky složených výroků jsou matematicky přesně pojmenovány, tak ti teď každou postupně vysvětlím.