LOGIKA MATEMATIKA Pernyataan adalah kalimat yang hanya benar atau salah saja, tetapi tidak sekaligus kedua- duanya. Kalimat terbuka adalah kalimat yang belum dapat di tentukan nilai kebenarannya karena masih mengandung variabel atau peubah Konjungsi adalah Gabungan dua pernyataan tunggal yang menggunakan kata penghubung “dan” sehingga terbentuk pernyataan majemuk Disjungsi adalah gabungan dua pernyataan yang menggunakan kata penghubung logika “atau” sehingga membentuk dua pernyataan majemuk. Implikasi, Gabungan dua pernyataan p dan q sehingga membentuk pernyataan majemuk dengan menggunakan kata penghubung “Jika..., maka...” Biimplikasi atau bikondisional ialah suatu pernyataan majemuk yang berbentuk ” p jika dan hanya jika q ” yang berarti “jika p maka q dan jika q maka p ”. Negasi dari suatu pernyataan majemuk dapat dibentuk dari negasi pernyataan-pernyataan tunggal dengan menggunakan ekuivalensi, yaitu apabila negasi pernyataan-pernyataan majemuk