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é.
Výrok je tedy možné zkoumat jak z hlediska jazykovědného (lingvistického), tak z hlediska logického.
Tento matematický článek je pahýl. Můžete pomoci Wikipedii tím, že jej vhodně rozšíříte. |