Pada program studi S1 Pendidikan Matematika, Mata kuliah Logika Matematika ini mempunyai tujuan untuk memberikan penguasaan konsep dan keterampilan mahasiswa dalam hal penguasaan konsep dasar logika dan pengaplikasiannya pada masalah kontekstual. Terlebih lagi, cabang ilmu ini berkembang sangat pesat di era teknologi saat ini.
Logika Matematika merupakan cabang ilmu matematika yang mempelajari penalaran, kebenaran/keshahihan suatu penarikan kesimpulan, pembuktian, dan penghitungannya.
Adapun konsep dasar logika yang dipelajari berkaitan dengan kebenaran proposisi, proposisi majemuk, tautologi, pembuktian logis, kuantor, dan rnagkaian logika.
- Teacher: Rohmad Wahid