L ogika matematika Pengertian Logika Matematika Logika matematika adalah cabang logikadan matematikayang mengandung kajian logika matematis dan aplikasi kajian ini pada bidang-bidang lain di luar matematika. Logika matematika berhubungan erat dengan ilmu komputer dan logika fisologis. Tema utama dalam logika matematika antara lain adalah kekuatan ekspresif dari logika formal dan kekuatan deduktif dari sistem pembuktian formal. Logika matematika sering dibagi ke dalam cabang-cabang dari teori himpunan, teori model, teori rekursi, teori pembuktian, serta matematika konsruktif. Bidang-bidang ini memiliki hasil dasar logika yang serupa. 1. Kalimat dalam logika matematika kita akan banyak bicara tentang kalimat. Kalimat dalam logika ada beberapa macam, yaitu kalimat terbuka, kalimat tertutup, dan bukan pernyataan. a. Kalimat Terbuka Kalimat terbuka adlah kalimat yang belum diketahui nilai benar atau salahnya.kalimat terbuka biasanya mengandung variabel. Contoh: x + 2 = 10 Variabel x dapa