MK Logika Matematika

Mata kuliah ini mempelajari tentang: Sejarah Logika Matematika, Kalimat dan Pernyataan (Proposisi), Pernyataan-pernyataan Majemuk dan Tabel Kebenaran, Kalkulus Pernyataan dan Nilai Kebenaran, Tautologi dan Kontradiksi, Fungsi Nilai Kebenaran, Menentukan Nilai Kebenaran Suatu Pernyataan Majemuk dengan Aritmetika, Polinomial Boolean dalam Jaringan Aliran Listrik, Mengubah Bentuk Proposisi Majemuk dengan Kata Penghubung Satu dengan Kata Penghubung Lainnya, Kalkulus Pernyataan dan Keabsahan, Penurunan Kesimpulan dalam Argumen dan Keabsahannya, Konsistensi Sekumpulan Premis dan Bukti Tak Langsung, Konstan, Peubah, Kalimat Terbuka dan Kuantifikasi, Kalkulus Predikat.