Výrok
Z Wikipedie, otevřené encyklopedie
V obecném významu je Výrok jazykovým výrazem, který vyjadřuje nějakou myšlenku, nebo informaci. Často je výrok spojen s určitou významnou osobností, která jej vyřkla, či napsala. Takový výrok pak může být citován, rozebírán, obhajován, nebo s ním může být polemizováno ap.
V užším významu (výrokové logiky) se jedná o sdělení, o kterém lze jednoznačně říci, že buď je pravdivý, nebo nepravdivý (to jest má určitou pravdivostní hodnotu) a je základním prvkem ve výrokové logice. Nejčastěji bývá zapsán jako jednoduchá oznamovací věta, ale může výt zapsán i pomocí značek (např. x∠5). Z jednoduchých výroků lze skládat pomocí logických spojek (operací) výroky složené. Složené výroky 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 (slovně A právě tehdy, když B)
Výrok je tedy možné zkoumat jak z hlediska jazykovědného (lingvistického), tak z hlediska logického.
