Pernyataan, Kalimat Terbuka dan Ingkaran

Pernyataan adalah suatu kalimat yang hanya bernilai benar saja atau bernilai salah saja, tetapi tidak dapat sekaligus benar dan salah. Pernyataan dinamakan juga kalimat tertutup sebab telah jelas diketahui nilai kebenarannya.

Kalimat terbuka adalah kalimat yang memuat peubah / variabel, sehingga belum dapat ditentukan nilai kebenarannya. Nilai kebenaran suatu kaliamat terbuka bergantung pada variabel yang digantikan. Kalimat terbuka akan berubah menjadi suatu pernyataan jika variabelnya digantikan oleh suatu anggota semesta pembicaraan.

Ingkaran ( Negasi ) merupakan kebalikan dari nilai kebenaran suatu pernyataan. Maka jika pernyataan p bernilai benar maka negasi p bernilai salah