Výrok (logika matematická)
Z Wikipédie
Výrok (logika matematická)
výrok (logika matematická) je č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ý. Pretože pri vyrokoch má zmysel otázka na platnosť, z hľadiska platnosti rozonávame výroky platné a neplatné .
[úprava] Externé odkazy
- FILIT Zdroj, z ktorého pôvodne čerpal tento článok