Výrok (logika)
Z Wikipedie, otevřené encyklopedie
Z hlediska logiky je výrok každé tvrzení, o kterém lze jednoznačně říci, že je buď pravdivé, nebo nepravdivé (tj. má určitou pravdivostní hodnotu). Může být zapsán jako jednoduchá oznamovací věta, ale také pomocí matematických symbolů a značek (např. x < 5).
[editovat] Jednoduchý a složený výrok
Za jednoduchý je považován takový výrok, který je už z logického hlediska dále nedělitelný. Jednoduchými výroky jsou například „Jmenuji se Jan.“, „Včera pršelo.“, „79 je prvočíslo“, ….
Z jednoduchých výroků lze skládat pomocí logických spojek (operací) výroky složené. Logické spojky jsou
- konjunkce – A ∧ B, slovně „A a současně B“
- disjunkce neboli alternativa – A ∨ B, slovně „A nebo B“
- implikace – A → B, slovně „jestliže A, potom B“
- ekvivalence – A ↔ B, slovně „A právě tehdy, když B“
- negace – ¬A, slovně „není pravda A“
Příklady složených výroků jsou „Jmenuji se Jan a zároveň včera pršelo.“, „Pokud včera pršelo, pak 79 je prvočíslo“.