atomárny výrok
autor(i): Olejár, Marián;|
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, |
Citujte toto encyklopedické heslo ako:
Text: Olejár, Marián: atomárny výrok; Olejárova všeobecná encyklopédia
Odkaz: http://sk.olejar.eu/heslo/atomarny_vyrok/
Heslo bolo vytvorené 25. 09. 2009 a jeho posledná zmena prebehla 25. 09. 2009.