Anda di halaman 1dari 2

Kisi-kisi UAS Logika Informatika Tahun 2009

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.

Validitas Pembuktian a. Premis dan Argumen


b. Metode inferensi : Modus Ponens, Modus Tolens, Silogisme, Konjungsi,

Penyederhanaan Konjungtif, Penambahan (Addition) Disjungtif, Silogisme Disjungtif.

4. Penarikan Kesimpulan : a. Membuktikan validitas argumen dengan menggunakan metode inferensi, b. Menerjemahkan argumen ke dalam bentuk simbol-simbol.

c. Memproses argument-argumen sehingga menghasilkan konklusi.

Selamat Belajar