Topic outline
- General
- RPS kontrak kuliah dan pengantar Logika dasar matematika
- pengantar logika dasar matematika
- logika proporsi dasar (negasi, disjungsi, konjungsi, pernyataan dan bukan pernyataan)
- Tabel kebenaran gabungan dan translasi kalimat
- Impilkasi dan Biimplikasi
- Tautologi, kontradiksi dan kontingensi
- ekuivalensi, konvers, invers dan Kontraposisi
- UTS
- ATURAN INFERENSI
- BENTUK NORMAL PROPOSISI MAJEMUK
- LOGIKA KUANTOR
- NILAI KEBENARAN DAN TABEL EKUIVALENSI KALIMAT BERKUANTOR
- ATURAN PENARIKAN KESIMPULAN II
- METODE PEMBUKTIAN
- METODE PEMBUKTIAN KASUS, UNIQUENESS DAN OR
- UAS