Negasi

Daripada Wikipedia, ensiklopedia bebas.
Lompat ke: pandu arah, cari

Dalam logik matematik, negasi, penafian, atau ingkaran merupakan operasi matematik terhadap suatu pernyataan, baik tunggal mahupun majmuk. Operasi negasi menafikan 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 bahawa p", dan sebagainya.