23:52:21 12. 03. 2010
negátor
Autor [RNDr. Marián Olejár] Pridané [19/11/04] Posledná zmena [10/04/07]
matematika, logika:
Negátor v logike je operátor, ktorým negujeme výrok alebo výrokovú formu alebo iný logický objekt. Označujeme ho jedným zo znakov: ~, `not`, - , / , `bar x` (x je výrok), a pod.
Je to jednoargumentový operátor, ktorý výroku p priraďuje výrok ~p (čítame nie-pé), teda jeho negáciu.
Ak je pôvodný výrok ~p, potom jeho negácia je ~(~p) = p. Formálne k jednému výroku negátor pripája znak ~ a mení ho na opačný vo význame (tvrdení, ...).
Pr. Nech p = PRŠÍ, potom ~p = NEPRŠÍ.
Pr. Nech ~p = PRŠÍ, potom ~(~p) = NEPRŠÍ.
Pre názov negátor nachádzame aj synonymá: funktor, singulárna (jednoargumentová) spojka atď.
Citujte toto encyklopedické heslo ako:
Text: RNDr. Marián Olejár: negátor; encyklopédia www.ys.sk
Odkaz: http://www.ys.sk/heslo/negator.php
Negátor v logike je operátor, ktorým negujeme výrok alebo výrokovú formu alebo iný logický objekt. Označujeme ho jedným zo znakov: ~, `not`, - , / , `bar x` (x je výrok), a pod.
Je to jednoargumentový operátor, ktorý výroku p priraďuje výrok ~p (čítame nie-pé), teda jeho negáciu.
Ak je pôvodný výrok ~p, potom jeho negácia je ~(~p) = p. Formálne k jednému výroku negátor pripája znak ~ a mení ho na opačný vo význame (tvrdení, ...).
Pr. Nech p = PRŠÍ, potom ~p = NEPRŠÍ.
Pr. Nech ~p = PRŠÍ, potom ~(~p) = NEPRŠÍ.
Pre názov negátor nachádzame aj synonymá: funktor, singulárna (jednoargumentová) spojka atď.
Citujte toto encyklopedické heslo ako:
Text: RNDr. Marián Olejár: negátor; encyklopédia www.ys.sk
Odkaz: http://www.ys.sk/heslo/negator.php