Logika merupakan suatu ilmu pengetahuan di mana objek formal adalah berpikir/penalaran. Logika dapat pula dikategorikan dalam matematika murni yang menggunakan simbol-simbol matematik. Informatika merupakan ilmu tentang pengumpulan, klasifikasi, penyimpanan, pengeluaran dan penyebaran pengetahuan, yang berkaitan dengan informasi. Disiplin ilmu informatika mencakup ilmu komputer, sistem informa…