16:00:39 22. 05. 2012
výrok
Autor [RNDr. Marián Olejár] Pridané [31/08/04] Posledná zmena [13/04/07]
matematika:
Výrok v logike je každá (zmysluplná) gramatická veta, o ktorej má zmysel tvrdiť, že je buď pravdivá alebo nepravdivá; zvyčajne je vyjadrená formou oznamovacej vety.
Myšlienky chápeme ako výsledok myslenia, ktoré možno vyjadriť vetami. Ak je to oznamovacia veta či súd, potom vo výrokovej logike mu hovoríme výrok. Tu prechádzame od neurofyziológie, cez lingvistiku k logike.
Výrok je logický výraz (či vyjadrenie), ktorý má presne jedinú pravdivostnú hodnotu. Je to požiadavka výrokového počtu ako teórie; a to princípu vylúčenia tretej možnosti a princípu sporu.
Viď aj: atomárny výrok, výroková forma,
Citujte toto encyklopedické heslo ako:
Text: RNDr. Marián Olejár: výrok; encyklopédia www.ys.sk
Odkaz: http://www.ys.sk/heslo/vyrok.php
Výrok v logike je každá (zmysluplná) gramatická veta, o ktorej má zmysel tvrdiť, že je buď pravdivá alebo nepravdivá; zvyčajne je vyjadrená formou oznamovacej vety.
Myšlienky chápeme ako výsledok myslenia, ktoré možno vyjadriť vetami. Ak je to oznamovacia veta či súd, potom vo výrokovej logike mu hovoríme výrok. Tu prechádzame od neurofyziológie, cez lingvistiku k logike.
Výrok je logický výraz (či vyjadrenie), ktorý má presne jedinú pravdivostnú hodnotu. Je to požiadavka výrokového počtu ako teórie; a to princípu vylúčenia tretej možnosti a princípu sporu.
Viď aj: atomárny výrok, výroková forma,
Citujte toto encyklopedické heslo ako:
Text: RNDr. Marián Olejár: výrok; encyklopédia www.ys.sk
Odkaz: http://www.ys.sk/heslo/vyrok.php