« (3) atóm :: hore :: (4) Attila »
Autor: RNDr. Marián Olejár
matematika:
Atomárny výrok vo výrokovom počte sa nazýva výrok bez funktora či operátora. Zložený výrok je taký, ktorý nie je atomárny, t.j. obsahuje aspoň jeden funktor. Napríklad p, q sú atomárne výroky. Zložené sú ~p, ~q, p`vv`q, p`^^`q, p`=>`q atď.
« (3) atóm :: hore :: (4) Attila »
Pridané: 10/08/04 Posledná zmena: 24/09/09
Citujte toto encyklopedické heslo ako:
Text: RNDr. Marián Olejár: atomárny výrok; encyklopédia www.ys.sk
Odkaz: http://www.ys.sk/heslo/atomarny_vyrok.php
Verzia pre PC: Encyklopédia YS, atomárny výrok
(c) 2007, Marián Olejár, Jr.
All rights reserved.
kontakt: marianolejar (zavinac) yahoo (bodka) com