TUGAS TUTORIAL ONLINE 3

LOGIKA INFORMATIKA
MSIM4103

Di susun oleh :

Nama : Safira Afifatul Mu’arrofah

NIM : 048160453
Prodi : S1 Sistem Informasi

UNIVERSITAS TERBUKA
TAHUN 2023
 TUGAS 3

No Soal Skor
1. Tentukan suatu interpretasi I atas domain bilangan rill untuk kalimat:
35
E: (for all x) q(a, x, f(y)) and (for all z) p(g(a, b), f(z))
2. Tentukan nilai kalimat F
F: (true or p(a, g (b, z) , f(y)) if and only if (for some x) (q(a, f(x))
pada interpretasi I: {a0,5, b1,5, y0,25, z2,5,ffI(d1)=d1+0,25, 30
ggI(d1,d2)=d1+d2-0.5, ppI(d1,d2,d3):d1+d2<d3-0.5, qqI(d1,d2):d1<d2} atas domain
D bilangan riil.

3. Buktikan dan jelaskan validitas kalimat berikut ini:

G: (for all x) p(x) or not (for all x) p(x) 35

Jawaban!

1. Untuk menentukan interpretasi I pada domain bilangan real untuk kalimat yang diberikan,
mari kita uraikan:
- (for all x) q(a, x, f(y)): Ini adalah pengukur umum yang menyatakan bahwa untuk setiap
bilangan real x, predikat q(a, x, f(y)) berlaku.
- (for all z) p(g(a, b), f(z)): Demikian pula, pengukur ini menyatakan bahwa untuk setiap
bilangan real z, predikat p(g(a, b), f(z)) adalah benar.
Sebuah penafsiran yang mungkin saja saya lakukan:
Domain: Himpunan bilangan real
Interpretasi untuk q(a, x, f(y)): q(a, x, f(y)) adalah benar jika a = x + f(y).
Interpretasi untuk p(g(a, b), f(z)): p(g(a, b), f(z)) benar jika g(a, b) sama dengan f(z).
Interpretasi ini memastikan bahwa kedua pernyataan yang dikuantifikasi berlaku untuk
semua bilangan real x dan z.

2. Kalimat F: (true or p(a, g (b, z) , f(y)) if and only if (for some x) (q(a, f(x))) adalah
kalimat logika proposisional. Untuk menentukan nilai kalimat F pada interpretasi I:
{a0,5, b1,5, y0,25, z2,5,ffI(d1)=d1+0,25, ggI(d1,d2)=d1+d2-0.5,
ppI(d1,d2,d3):d1+d2<d3-0.5, qqI(d1,d2):d1<d2} atas domain D bilangan riil, kita perlu
memberikan nilai kebenaran pada semua variabel proposisi atom yang muncul pada
kalimat F. Berdasarkan interpretasi I, kita dapat menentukan nilai-nilai variabel proposisi
atom sebagai berikut:
- p(a, g (b, z) , f(y)) = p(0.5, 3.5, 0.5+0.25) = p(0.5, 3.5, 0.75) = true, karena 0.5 +
3.5 < 0.75 - 0.5.
- (q(a, f(x)) = q(0.5, 0.25) = false, karena 0.5 > 0.25.
Dengan demikian, kita dapat menentukan nilai kalimat F pada interpretasi I sebagai
berikut:
- true or p(a, g (b, z) , f(y)) = true or true = true.
- (for some x) (q(a, f(x))) = (for some x) (q(0.5, f(x))) = (for some x) (0.5 < f(x)) =
true.
 Karena nilai kebenaran kedua proposisi pada kalimat F berbeda, maka nilai kalimat F
adalah false. Oleh karena itu, kalimat F tidak dapat memenuhi semua syarat untuk disebut
valid.

3. Pernyataan G yang diberikan selalu valid. Mari kita buktikan:

Kasus 1: (for all x) p(x) adalah true.
Jika (for all x) p(x) true, maka G true karena dalam sebuah or inklusif (disjungsi), jika
bagian pertama true, maka seluruh pernyataannya true.
Kasus 2: (for all x) p(x) bernilai false.
Jika (for all x) p(x) adalah salah, itu berarti ada setidaknya satu x yang tidak bernilai benar.
Dalam kasus ini, G benar karena bagian kedua (not(for all x) p(x)) true. Pada kedua kasus
tersebut, G adalah benar. Oleh karena itu, G adalah valid.