Buku ini adalah buku teks yang dirancang untuk membantu mahasiswa mempelajari logika secara komprehensif dan praktis. Buku ini mencakup berbagai topik logika, mulai dari konsep dasar hingga aplikasi lanjutan. Buku ini juga sesuai dengan kurikulum Universitas Nusa Putra pada mata kuliah Logika Informatika.
Buku ini mencakup materi bab:
Bab 1: Konsep Logika
Bab 2: Logika Proposisi dan Predikat
Bab 3: Proposisi Majemuk
Bab 4: Ingkaran Pernyataan
Bab 5: Tautologi, Kontradiksi dan Kontingen
Bab 6: Ekuivalensi Logika
Bab 7: Inferensi Logika
Bab 8: Kalimat Berkuantor
Bab 9: Gerbang Logika
Bab 10: Pembuktian Validitas Argumen
Bab 11: Tablo Semantik
Bab 12: Substitusi
Bab 13: First Order Logic
Bab 14: Interpretasi Logika Predikat
Dengan demikian, buku ini merupakan sumber belajar yang lengkap dan sistematis untuk memahami logika informatika dari dasar hingga tingkat lanjutan. Buku ini dilengkapi dengan gambar-gambar ilustratif dan contoh-contohnya untuk memudahkan Anda memahami materi. Buku ini juga menyediakan latihan-latihan soal di akhir setiap bab untuk menguji pemahaman Anda. Buku ini adalah buku yang ideal untuk Anda yang ingin belajar logika informatika secara mendalam dan menarik.