Logika matematika adalah suatu ilmu matematika yang mempelajari tentang penarikan kesimpulan. ada beberapa istilah yang harus dipahami terlebih dahulu agar tujuan pembelajaran tercapai maksimal, yaitu :
1. Pernyataan
pernyataan adalah suatu kalimat yang mempunyai nilai benar saja atau salah saja tetapi tidak keduanya.
2. kalimat terbuka
kalimat terbuka adalah kalimat yang masih memuat variabel yang belum diketahui nilai kebenarannya.