Zložené výroky
Zložený výrok je výrok zostavený z jednoduchých výrokov pomocou logických spojok (presne dané slová alebo slovné spojenia), ktorými sú: „a zároveň“, „alebo“, „ak..., potom...“ a „práve vtedy, keď. Ich pravdivostná hodnota sa spravidla zisťuje pomocou pravdivostných tabuliek.
Celkovo budeš vždy určovať pravdivosť jedného zloženého výroku, ktorý je zostavený z niekoľkých jednoduchých výrokov. Cieľom je ukázať, napr. v tabuľke, kedy bude zložený výrok pravdivý a kedy nepravdivý v závislosti od jednoduchých výrokov. Ak existujú dva jednoduché výroky, potom existujú štyri možnosti:
Namiesto odrážok sa používa pravdivostná tabuľka, kam sa namiesto pravdy píše číslo 1 a namiesto nepravdy hodnota 0 . Ako už bolo spomínané, jednotlivé výroky sa označujú veľkými písmenami, napr. A, B, C, a preto sú v tabuľke označené veľkými písmenami namiesto písania celých viet.
V prípade zloženého výroku by z troch jednoduchých výrokov existovalo 8 možností, pri štyroch výrokoch potom 16 možností, atď. Jednoducho platí \( 2^{n} \) možností, kde \( n \) je počet jednoduchých výrokov. V tabuľke je dôležité, aby každý riadok obsahoval jednu konkrétnu možnosť, ktorá nebude duplicitná (je zbytočné až zmätočné, aby v tabu boli dva úplne rovnaké riadky, napr. 1 a 1 a potom niekde na ďalších riadkoch by znova bolo 1 a 1).
Jednotlivé spojky zložených výrokov sú matematicky presne pomenované, tak si teraz každú z nich postupne vysvetlíme.