Logika Matematika

Logika matematika merupakan pokok bahasan yang sangat penting karena berhubungan dengan kemampuan berfikir secara logis. Berfikir secara logis sangat diperlukan dalam setiap aspek kehidupan sehari-hari karena merupakan peendukung keberhasilan suatu tindakan, misalnya dalam mengambil suatu keputusan dalam pelajaran logika matematika. Setelah kita mngetahui pengertian logika matematika kita dapat mempelajari logika matematika akan tetapi kita harus tau  apa saja yang ada dalam perlajaran matematika, yang harus kiata ketahui dalam peljaran matematika adalah pernyataan,kalimat terbuka, dan ingkaran. Kita harus tau apa pengertian pernyataan, kaliamat terbuka, dan ingkaran dalam logika matematika. Pernyataan di dalam logika matematika adalah sebuah kalimat yang memiliki nilai logika (kebenaran) yang dapat dinyatakan 'benar' atau 'salah' namun kalimat tersebut tidak bisa memiliki kedua-duanya (salah dan benar). Dengan kata lain, pernyataan adalah sebuah kalimat yang sudah dapat ditentukan nilai kebenarannya, yaitu benar atau salah. Benar dan salah maksudnya sesuai dengan yang sebenarnya. Nama lain pernyataan adalah kaliamat deklaratif,proposisi, atau statemen.

Kalimat terbuka adalah suatu kalimat yang belum dapat ditentukan nilai kebenarannya karena masih memuat variabel. Variabel atau peubah adalah lambang yang digunakan untuk mewakili anggota sembarang dari suatu semesta pembicaraan. Suatu kaliamat terbuka dapat berubah menjadi pernyataan apabila variabelnya diganti dengan suatu konstanta, yaitu lambang yang digunakan untuk mewakili anggota tertentu dari suau semesta pembicaraan. Ingkaran merupakan pernyataan yang menyangkal yang diberikan. Ingkaran pernyataan dapat dibentuk dengan menambah ‘Tidak benar bahwa …’ didepan pernyataan yang diingkar dinotasikan ~. Ingkaran atau negasi dari suatu pernyataan adalah pernyataan baru yang beernilai benar jika pernyataan semula salah atau bernilai salah jika pernyataan semula bernilai benar.