Negacija

Iz Wikipedije, proste enciklopedije

Skoči na: navigacija, iskanje

V matematični logiki je negacija enočlena logična operacija med izjavami. Znak za negacijo je ¬ (beri: ne). Negacija izjave A je izjava ¬A, ki je pravilna, samo če je izjava A napačna in obratno.

[uredi] Pravilnostna tabela

Negacija
A ¬A
p n
n p

Opomba: p - pravilno, n - nepravilno

[uredi] Glej tudi