Logika yang dipelajari di bidang informatika atau ilmu komputer disebut logika matematika (mathematical logic). Logika matematika sebagi ilmu sudah berkembang sangat pesat seperti : logika proposisional, logika predikat, pemrograman logika, logika fuzzy dan sebagainya. Pokok bahasan buku ini - Dasar-dasar Logika - Tabel kebenaran - Menganalisis proposisi majemuk - Mengevaluasi validitas a…
pembahasan pad abuku ini dimulai dengan konsep kuantor, yakni kuantor universal dan kuantor eksistensial serta semesta pemikiran (universe of discourse) yang melengkapinya, dan dilanjutkan dengan pembuktian validitas melalui ekspresi logika predikat yang dibentuk dari argumen memakai metode dervasi.