Mata kuliah Logika dan Himpunan merupakan dasar bagi mahasiswa Pendidikan Matematika untuk memahami cara berpikir matematis yang runtut, sistematis, dan konsisten. Materi logika meliputi dasar-dasar logika, tabel kebenaran, proposisi majemuk, tautologi, ekuivalensi logis, pembuktian logika, analisis argumen, kuantor, hingga rangkaian logika. Sementara itu, materi himpunan mencakup pengenalan istilah dan simbol himpunan, diagram Venn, relasi antarhimpunan, operasi himpunan, serta konsep relasi. Mata kuliah ini tidak hanya melatih kemampuan logis dan pemahaman konsep himpunan, tetapi juga menumbuhkan kesadaran bahwa pola berpikir matematis sejalan dengan nilai-nilai Islam. Misalnya, penggunaan tabel kebenaran dan argumen logis dapat dikaitkan dengan cara Al-Qur’an menyajikan hujjah, seperti QS. Al-Anbiya’ [21]:22 yang menunjukkan argumen kontradiksi. Demikian pula, materi himpunan dapat dihubungkan dengan keteraturan ciptaan Allah. QS. Al-Hujurat [49]:13 menjelaskan manusia diciptakan berbangsa-bangsa dan bersuku-suku, yang bisa dipahami sebagai himpunan-himpunan yang berbeda namun tetap berada dalam satu kesatuan umat. Operasi gabungan mencerminkan persatuan umat dalam QS. Ali Imran [3]:103, sedangkan konsep komplemen mengingatkan adanya perbedaan antara himpunan orang beriman dan mereka yang menolak kebenaran. Dengan begitu, mahasiswa tidak hanya belajar konsep logika dan himpunan, tetapi juga menyadari makna spiritual dan etis di balik keteraturan berpikir.

• Mengevaluasi validitas argumen dari proposisi majemuk yang terdiri atas premis-premis dan kesimpulan dengan menggunakan tabel kebenaran, ekuivalensi logis, serta strategi penyederhanaan maupun pembalikan
• Menginterpretasi pernyataan matematis ke dalam bentuk logika proposisional dan kuantor untuk mendukung pembuktian matematis serta penerapan kontekstual dalam kehidupan sehari-hari
• Menerapkan konsep himpunan, operasi, dan prinsip inklusi–eksklusi melalui representasi simbolik maupun diagram Venn untuk menyelesaikan masalah matematis dan kehidupan nyata
• Menganalisis sifat-sifat relasi antarhimpunan untuk menentukan jenis relasi dan mengaitkannya dengan representasi model matematis
• Menganalisis sifat dan operasi fungsi antarhimpunan untuk menyelesaikan permasalahan matematis maupun aplikatif dalam konteks nyata

1. Partisipasi
2. Unjuk kerja
3. Tes tertulis (UTS dan UAS)