Matakuliah : Logika dan Pembuktian (3 sks)
Tujuan
Mahasiswa mengetahui, memahami, dan mampu menerapkan kaedah-kaedah logika untuk berpikir jelas, tegas, tepat, dan tetap.
Materi
Hukum logika dasar, hukum identitas, hukum kontradiksi, hukum penyisih jalan tengah, sistem proposisi, proposisi majemuk, modus ponens, modus tollens, aljabar proposisi, hubungan nilai kebenaran (HNK), argumen, proposisi kategori, dan Proposisi berkuantor non kategori.