Výrok, výroky v matematickej logike, výroky vo výrokovej logike, zložené výroky :)

Výraz, ktorý má práve jednu pravdivostnú hodnotu.

Výrokmi nie sú opytovacie, rozkazovacie, zvolacie a neúplné vety.

Výrok:

• 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 rozozná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. Zložený výrok je vo výrok, ktorý vznikne z jednoduchých výrokov aplikáciou jednej alebo viacerých logických spojok napríklad a, alebo...

Výrok (tvrdenie) jednoducho

Zdroje
Prevzaté a upravené z: 
• https://sk.wikipedia.org/wiki/V%C3%BDrok_(logika).

Hodnotenie užitočnosti článku:

• ← Výrok (tvrdenie) jednoducho :)
• Výška trojuholníka :) →