Pernyataan dan Negasi

Dalam matematika, kalimat dibedakan melalui dua jenis yaitu pernyataan dan bukan pernyataan. Pernyataan adalah kalimat yang bernilai benar atau salah, tetapi tidak sekaligus bernilai kedua-duanya. Kalimat yang bukan pernyataan, antara lain kalimat tanya, kalimat perintah, kalimat harapan, dan yang mengungkapkan perasaan. Dari suatu pernyataan dapat dibentuk negasi/ingkaran/sangkalan pernyataan itu dengan kentuan sebagai berikut.

Negasi "~" suatu pernyataan adalah suatu pernyataan yang bernilai salah apabila pernyataan semula bernilai benar, dan bernilai benar apabila pernyataan semula bernilai salah.

Contoh :

p = saya suka matematika
Maka :
~p = saya tidak suka matematika

Untuk nilai kebenaranya, jika p bernilai benar (B) maka ~p bernilai salah (S) begitu juga sebaliknya jika p bernilai salah (S) maka ~p bernilai benar (B) ..