Professional Documents
Culture Documents
Semester : 1
Prasyarat : -
Tujuan
Materi
Hukum logika dasar, hukum identitas, hukum kontradiksi, hukum penyisih jalan tengah, sistem
proposisi, proposisi majemuk, modus ponens, modus tollens, aljabar proposisi, hubungan nilai
kebenaran (HNK), argumen, proposisi kategori, dan Proposisi berkuantor non kategori.
Referensi
1/2
9. Mata Kuliah : Logika Matematika (3 sks)
Mathematical Logic .
California: Wardworth Brooks. Sharvy, R.. 1962.
Logic: An Outline
. New Jersey: Adam & Company.
2/2