Logika matematika adalah gabungan antara ilmu logika dan matematika yang memberikan landasan tentang penarikan kesimpulan. Terdiri dari berbagai jenis pernyataan seperti pernyataan tertutup, majemuk, berkuantor, serta cara mengambil negasi dan kesimpulan.