MSIM4103-3

NASKAH TUGAS MATA KULIAH

UNIVERSITAS TERBUKA
SEMESTER: 2021/22.1 (2021.2)

Fakultas : FST/Fakultas Sains dan Teknologi

Kode/Nama MK : MSIM4103/Logika Informatika
Tugas :3

No. Soal
1. Diketahui suatu interpretasi I atas (over) domain D = himpunan semua bilangan bulat, dengan:

I ={a  0, b  1, c  2, y  3, z  4, f  fI(d1, d2) = 3d2 - d1, gI(d1, d2 , d3) = 2d1 + d3 – d2, p  pI(d1, d2, d3): d1
> 2d2+ d3, q  qI(d1, d2): d1 < d2}

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

2. Diketahui suatu kalimat logika predikat:

E: (not (for all x)p(x, f(a))) if and only if (for some x) (not p(x, f(a)))

Perlihatkan bahwa E valid.

3. Buktikan bahwa:

F: (for some x)(p(x, f(a,b)) or q(f(x,a), b)) if and only if (((for some x) p(x, f(a, b))) or ((for some x) q(f(x,a), b))))

merupakan kalimat logika predikat yang valid.

4. Diketahui suatu interpretasi I atas (over) domain D = himpunan semua bilangan bulat, dengan:

I ={a  1, b  0, c  4, y  2, z  1, f  fI(d) = d + 3, gI(d1, d2) = 3d1 + d2, p  pI(d1, d2, d3): d1 - d2 < 2d3, q
 qI(d): 2d > 0}

Lakukan perluasan multi terhadap interpretasi I dengan memberi nilai baru terhadap simbol fungsi f, simbol
variabel y, simbol konstanta a, dan simbol predikat p.

5. Diketahui suatu kalimat logika predikat:

G: (for some x)(if p(x) then p(a)) and (for all x)(p(x) and not (p(a))

Perlihatkan bahwa kalimat G contradictory.

6. Diketahui sekumpulan kalimat-kalimat logika predikat:

E: (for some x) p(f(x)),

F: if (for all x) q(f(x)) then (for some z) p(z)

G: (for some z) p(z) or (for some x) q(x)

Perlihatkan bahwa kalimat logika predikat E, F, dan G consistent.

1 dari 2
 MSIM4103

7. Diketahui sebuah kalimat logika predikat:

E: ((for some x)q(x, f(x,b))) or q(f(b,a),b)

Perhatikan dua interpretasi untuk E, yaitu I dan J atas (over) domain D = himpunan semua bilangan bulat,
sedemikian hingga

I = {a  2, b  3, f  fI(d1, d2) = d1 + d2, q  qI(d1, d2): d1 > d2}, dan

J = {a  3, b  3, f  fJ(d1, d2) = d1 + 2d2 , q  qJ(d1, d2): 2d1 > d2}

Buktikan bahwa I dan J agree on kalimat E.

8. (for all x)(F and G) if and only if (for all x) F and G adalah sebuah skema kalimat valid dengan syarat tambahan
bahwa x tidak muncul bebas di dalam G. Buat sebuah contoh untuk skema kalimat valid tersebut.

2 dari 2