16:02:25 12. 03. 2010
negácia
Autor [RNDr. Marián Olejár] Pridané [12/08/04] Posledná zmena [10/04/07]
matematika, logika:
Negácia je logická operácia, ktorou výroku p alebo výrokovej forme V(x) v dvojhodnotovej logike priraďujeme opačnú pravdivostnú hodnotu.
Ak p je výrok PRŠÍ, potom zápis NIE JE PRAVDA, ŽE PRŠÍ je jeho negácia, skrátene: NEPRŠÍ alebo Ne-p. Symbolicky to značíme viacerými spôsobmi: ~p, `not p`, `bar p`, `p'` a pod.
Ak logika mapuje prirodzený jazyk, potom do logiky vyberáme spojky: a, alebo, ak ..., tak ... aj negáciu NE (Nie). Negácia NE je slovo (predpona), nie je spojka, aj keď jej často hovoria 'logická spojka'. Výhodnejšie a správnejšie je hovoriť o operátore negácie s názvom NEGÁTOR.
Citujte toto encyklopedické heslo ako:
Text: RNDr. Marián Olejár: negácia; encyklopédia www.ys.sk
Odkaz: http://www.ys.sk/heslo/negacia.php
Negácia je logická operácia, ktorou výroku p alebo výrokovej forme V(x) v dvojhodnotovej logike priraďujeme opačnú pravdivostnú hodnotu.
Ak p je výrok PRŠÍ, potom zápis NIE JE PRAVDA, ŽE PRŠÍ je jeho negácia, skrátene: NEPRŠÍ alebo Ne-p. Symbolicky to značíme viacerými spôsobmi: ~p, `not p`, `bar p`, `p'` a pod.
Ak logika mapuje prirodzený jazyk, potom do logiky vyberáme spojky: a, alebo, ak ..., tak ... aj negáciu NE (Nie). Negácia NE je slovo (predpona), nie je spojka, aj keď jej často hovoria 'logická spojka'. Výhodnejšie a správnejšie je hovoriť o operátore negácie s názvom NEGÁTOR.
Citujte toto encyklopedické heslo ako:
Text: RNDr. Marián Olejár: negácia; encyklopédia www.ys.sk
Odkaz: http://www.ys.sk/heslo/negacia.php