Negasi

Dalam logika matematika, negasi, atau ingkaran adalah operasi matematika terhadap suatu pernyataan, baik tunggal maupun majemuk. Operasi negasi membalikkan nilai kebenaran suatu pernyataan.

p	~p
B	S
S	B

Jika p bernilai benar, maka ~p bernilai salah. Sebaliknya, jika p bernilai salah, maka ~p bernilai benar.

Bentuk ~p biasa dibaca "bukan p", "tidak p", "tidak benar bahwa p", dsb.