Negasi

Dari Wikipedia bahasa Indonesia, ensiklopedia bebas
Jump to navigation Jump to search

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.