Tugas Logika Informatika

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