« (4) negatívna kopula :: hore :: (5) nepravda »
Autor: RNDr. Marián Olejár
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ď.
« (4) negatívna kopula :: hore :: (5) nepravda »
Pridané: 19/11/04 Posledná zmena: 10/04/07
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
Verzia pre PC: Encyklopédia YS, negátor
(c) 2007, Marián Olejár, Jr.
All rights reserved.
kontakt: marianolejar (zavinac) yahoo (bodka) com