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.