Tugas Logika Informatika
advertisement
TUGAS LOGIKA INFORMATIKA KELAS D, E, G 1. Perhatikan sentence dalam logika proposional berikut : P and not(O or P) If and only if If (not P or Q or R) then (P or not (P and Q)) a) Buatsemantic tree untuk sentence di atas! b) Berdasarkan semantic tree yang saudarabuat, tentukans ifat sentence tersebut (sepertivalidatausatisfiable, atau yang lain) 2. Gunakan predikat-predikat berikut : A(x,y) : x mengagumi y B (x,y) : x menghadiri y P(x) : x professor S(x) : x mahasiswa L(x) : x matakuliah M :Masae Untuk menerjemahkan kalimat-kalimat berikut ke logika predikat : a) b) c) d) e) Masae mengagumi setiap professor Beberapa professor mengagumi masae Masa emengagumi dirinyasendiri Tidak ada mahasiswa yang menghadiri matakuliah Tidak ada kuliah yang dihadiri setiap mahasiswa