Negacija

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.

Pravilnostna tabela

Negacija

A	¬A
p	n
n	p

Opomba: p - pravilno, n - nepravilno

Glej tudi

• konjunkcija
• disjunkcija
• implikacija
• ekvivalenca