Logika Matematika merupakan cabang ilmu matematika yang mempelajari penalaran, kebenaran/keshahihan suatu penarikan kesimpulan, pembuktian, dan penghitungannya. Pada program studi S1 Pendidikan Matematika atau S1 Matematika, mata kuliah Logika Matematika mempunyai tujuan untuk memberikan penguasaan konsep dan keterampilan mahasiswa dalam hal penguasaan konsep dasar logika dan himpunan dan pengaplikasiannya pada masalah kontekstual. Terlebih lagi, cabang ilmu ini berkembang sangat pesat di era teknologi saat ini. Adapun konsep dasar logika yang dipelajari berkaitan dengan kebenaran proposisi, proposisi majemuk, tautologi, pembuktian logis, kuantor, dan rnagkaian logika. Sedangkan konsep himpunan berkaitan dengan istilah, symbol himpunan, diagram Venn, operasi dan relasi himpunan.
- Teacher: Yoga Dwi Windy Kusuma Ningtyas