Matakuliah ini adalah logika-mantiq