Buku ini membahas: 1. Pengenalan logika matematika 2. Pengantar logika proporsional 3. Metode-metode logika proporsional 4. Pengantar logika predika 5. Komponen-komponen sintaktik 6. Ku…
Buku ini berisi tentang : . Apa itu Logika? . Conditionals dan Negasi . Konjungsi dan Disjungsi . Biconditional . Aturan - Aturan Tambahan
Materi dalam buku ini mencakup: - tabel kebenaran - proposisi majemuk - tautologi - ekuivalensi logis - penyederhanaan - strategi pembalikan - tablo semantik - bentuk normal - resolusi -…
Buku ini berisi tentang : . Bentuk Logika Predikat . Kuantor Universal . Kuantor Eksistensial . Deret Berkuantor . Argumen Berkuantor Banyak