Negasi

Revisi sejak 8 Juni 2011 13.06 oleh StefanusRA (bicara | kontrib) (+ {{matematika-stub}})

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.