Logika Proposisional

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…