LOGIKA DASAR INFORMATIKA DAN LOGIKA MATEMATIKA