« (3) výraz :: hore :: (4) výroková forma »
Autor: RNDr. Marián Olejár
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.
« (3) výraz :: hore :: (4) výroková forma »
Pridané: 31/08/04 Posledná zmena: 13/04/07
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
Verzia pre PC: Encyklopédia YS, výrok
(c) 2007, Marián Olejár, Jr.
All rights reserved.
kontakt: marianolejar (zavinac) yahoo (bodka) com