Negasi

Daripada Wikipedia, ensiklopedia bebas.
Jump to navigation Jump to search

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.