STMIK JEND.A.YANI
(Erizal, S.Si, M.Kom)
1.
Logika umum :
a. Melengkapi tabel kebenaran b. Hukum-hukum ekuivalensi logika
c. Tautologi d. Kontradiksi
e. Menerjemahkan proposisi-proposisi
2.
Kuantor :
a. Menentukan nilai kebenaran dari pernyataan berkuantor b. Fungsi pernyataan yang mengandung lebih dari satu variabel
c. Menyatakan dalam bentuk simbolik d. Menyatakan bentuk simbolik ke dalam pernyataan kalimat.
e. Ingkaran (negasi) kalimat berkuantor
3.
4. Penarikan Kesimpulan : a. Membuktikan validitas argumen dengan menggunakan metode inferensi, b. Menerjemahkan argumen ke dalam bentuk simbol-simbol.
Selamat Belajar