Nama : Mikhael

NIM : 043636201

Jawablah pertanyaan berikut ini disertai penjelasan!

Buktikan bahwa

(for all x)(p(f(if r(x) then a else b)) if and only if p(if r(x) then f(a) else f(b))

merupakan kalimat valid.

Jawaban

(for all x)(p(f(if r(x) then a else b)) if and only if p(if r(x) then f(a) else f(b)) adalah kalimat yang valid
jika kalimat bagian (for all x)(p(f(if r(x) then a else b)) dan kalimat bagian p(if r(x) then f(a) else f(b))
memiliki nilai yang sama. Kita akan membuktikan bahwa kedua nilai itu bernilai true.

Kalimat (for all x)(p(f(if r(x) then a else b)) bernilai true karena berada dibawah interpretasi I. Maka
dengan aturan for all setiap elemen dalam domain D sedemikian rupa sehingga p(f(if r(x) then a else
b)) bernilai true juga di bawah interpretasi I.

Dengan aturan if-then-else, jadi setiap elemen dalam domain D sedemikikan rupa sehingga r(x)
bernilai true dan (a) juga bernilai true.

Kalimat p(if r(x) then f(a) else f(b)) juga bernilai true dibawah interpretasi I. Maka dengan aturan if-
then-else r(x) dan f(a) bernilai true sehingga p(if r(x) then f(a) else f(b)) bernilai true.

Dengan demikian kalimat (for all x)(p(f(if r(x) then a else b)) if and only if p(if r(x) then f(a) else f(b))
merupakan kalimat yang valid.