Ingkaran atau negasi dari suatu pernyataan adalah pernyataan yang mengingkari pernyataan semula.
Ingkaran dari pernyataan p dinotasikan ~ p dibaca “ bukan p” atau “tidak p”.
Tabel kebenarannya sbb :
p |
~ p |
B |
S |
S |
B |
Contoh :
- p : Ayah pergi ke pasar
~ p : Ayah tidak pergi ke pasar - q : 2 + 5 < 10
~ q : 2 + 5 >= 10