MSIM4103

NASKAH UAS-THE
UJIAN AKHIR SEMESTER-TAKE HOME EXAM (THE)
UNIVERSITAS TERBUKA
SEMESTER: 2021/22.1 (2021.2)

Logika Informatika
MSIM4103

No. Soal Skor

1 a. Buat kalimat dalam bahasa logika proposisional yang memuat 3 simbol proposisional P, Q 25
dan R, dan menggunakan konektif-konektif proposisional: or, if-then, if and only if, dan if-
then-else.

b. Diketahui kalimat E : if (if P then not(Q or R) else notP) then (not(Q and S) if and only if
(notQ or notS)). Selidiki apakah interpretasi I = {S  false, R  false, Q'  true, P  false}
merupakan interpretasi untuk kalimat E

2 Buat pohon keputusan untuk suatu kalimat logika proposisional E: if (if P then not(Q or R) else 25
notP) then (not(Q and S) if and only if (notQ or notS)).

3 Tentukan kalimat hasil substitusi total F  { (P and Q)  (if P then R) } apabila diketahui 25
kalimat F: (if not(Q or R) then (P and Q) else (P and Q)) if and only if (P and Q).

4 Diketahui suatu interpretasi J atas (over) domain D = himpunan semua bilangan riil, dengan J 25
={a  2,5, b  0,0, y  1,5, z  0,5, f  fJ(d) = 3d + 1,5, gJ(d1, d2) = 2(d1 + d2) + 0,5, p  pJ(d1,
d2): d1 < 2d2, q  qJ(d1, d2, d3, d4, d5): d1 + d3 + d5  d2 + d4}.

Lakukan perluasan terhadap interpretasi J dengan memberi nilai baru terhadap simbol predikat
p.

Skor Total 100

1 dari 1