Čo si máš z toho odniesť?
Výrok je tvrdenie (oznamovacia veta), pri ktorom sa dá určiť, či je alebo nie je pravdivé.
Konjunkcia (symbol „^“) je zložený výrok tvorený logickou spojkou „a zároveň“. Pravdivý je len vtedy, keď sú súčasne obidva jednoduché výroky pravdivé.
Disjunkcia (symbol „v“) je zložený výrok tvorený logickou spojkou „alebo“. Pravdivý je len vtedy, keď aspoň (minimálne) jeden z jednoduchých výrokov je pravdivý.
Implikácia (symbol „=>”) je zložený výrok tvorený logickou spojkou „ak ..., potom“. Pravdivý je vždy, okrem prípadu, kedy je prvý výrok pravdivý a druhý jednoduchý výrok nepravdivý.
Ekvivalencia (symbol „ \( \Leftrightarrow \) “) je zložený výrok tvorený logickou spojkou „práve vtedy, keď. Pravdivý je iba vtedy, keď majú obidva jednoduché výroky rovnakú pravdivostnú hodnotu (obidva výroky sú pravdivé, alebo obidva nepravdivé).
Podľa tabuľky pravdivostných hodnôt zložených výrokov sa dá ľahko určovať, či je výrok pravdivý alebo nie. Táto tabuľka iba rekapituluje, kedy je a kedy nie je konjunkcia, disjunkcia, implikácia a ekvivalencia pravdivá.
Negácia zložených výrokov
