Výrok v matematike

Výrok je výraz, ktorý má práve jednu pravdivostnú hodnotu. Výrokmi nie sú opytovacie, rozkazovacie, zvolacie a neúplné vety.

v matematickej logike je výrok čokoľvek v jazykovom tvare, čo vyjadruje nejaké tvrdenie, alebo čokoľvek v jazykovom tvare, čomu možno priznať pravdu alebo nepravdu. Výrok je taká gramatická veta, pre ktorú má zmysel otázka na jej platnosť (správnosť, pravdivosť), t. j. otázka, či ten výrok platí, alebo či ten výrok neplatí. Namiesto slov platí a neplatí používajú sa aj slová správny a nesprávny alebo pravdivý a nepravdivý. Z hľadiska platnosti rozonávame teda výroky platné a neplatné.
vo výrokovej logike je výrok výraz, ktorým sa tvrdí, že niečo je, alebo nie je (že niečo bolo, alebo nebolo, bude, alebo nebude), za predpokladu, že o tomto tvrdení možno rozumne povedať, že je pravdivé, alebo že je nepravdivé. Výroková logika rozlišuje jednoduché výroky a zložené výroky.
Podľa Fregeho je výrok meno pravdivostnej hodnoty.

odkaz

PS: Viete dať konkrétne príklady a aký prakticky význam to má pre bežného človeka?

Tak ja som spokojná, že sa nemusí používať slovo pravdivý/neprevdivý, ale platný a neplatný. Som alergická na slovo pravda.

Máš pravdu, pravda niekedy bolí, ale pravda nie vždy býva pravdivá, to je pravda.

Myslím si, že koľko ľudí toľko právd. Každý si na reálnej skutočnosti všimne to svoje a vidí to ako pravdu.

pravda boli len nevedomeho cloveka (cize skoro kazdeho :-))

pravdu mas dzievecko a mozno nemas.

Pravdu? Ja sa ňou neoháňam.

je to ako s peniazmi RAZ PLATIA A INOKEDY NEPLATIA alebo neplatia všade rovnako alebo si za ne nekúpime prave to to, čo najviac potrebujeme...