SMS dit: Dasar Logika Informatika Sesuai Silabus Mata Kuliah Logika Matematika