Výrok (logika)

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“.

[editovat] Související články

• Syntetický výrok a analytický výrok

Tento matematický článek je příliš stručný nebo neobsahuje důležité informace. Pomozte Wikipedii tím, že jej vhodně rozšíříte.