Výrok (logika): Rozdiel medzi revíziami

Smazaný obsah Přidaný obsah
MilanBA (diskusia | príspevky)
→‎Zdroje: doplnenie
Značka: vrátené
Doplnený obsah
Značky: vrátené úprava z mobilu úprava z mobilného webu
Riadok 1:
'''Výrok''' je [[výraz]], ktorý má práve jednu pravdivostnú hodnotu. Výrokmi nie sú opytovacie, rozkazovacie, zvolacie a neúplné vety. Výroky tvoria ucelené vety, ktoré nemožno rozdeliť, preformulovať, skloňovať či časovať. Zachovávajú rytmickú usporiadanosť ľudovej slovesnosti. Vyplýva z nich ponaučenie overené rokmi a skúsenosťou.
 
* 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é.