TUGAS

LOGIKA PREDIKAT

Kelompok 1
Universe of Discourse
Predikat
Fungsi Proposisional

Kelompok 2
Kuantor
Penggunaan Kuantor
Bentuk Normal Prenex
Mengubah Ekspresi ke Bentuk Normal Prenex

Kelompok 3
Skolemisasi
Himpuan Klausa

Kelompok 4
Resolusi untuk Logika Predikat

Kelompok 5
Penerapan Tablo Semantik pada Ekspresi Logika Predikat
Penerapan Tablo Semantik pada Argumen

1. Tentukan kelompok
2. Untuk masing-masing kelompok, buat dalam format doc dan ppt:
a. Penjelasan materi terkait dan contohnya (deadline 26 Juni)
b. Latihan soal jawab (minimal 10 soal) (deadline 3 Juli)
3. Diupload pada Vclass sesuai jadwal
4. Beberapa materi dan soal akan menjadi soal UAS, maka pelajari juga materi yang
menjadi tugas kelompok lain.

Bahan Bacaan selain buku-buku yang sudah disampaikan pada kontrak kuliah,
Tambahan :
Diktat Logika Informatika pada Vclass