Diketahui suatu interpretasi I = {P ← true, Q ←

Berikut ini adalah pertanyaan dari brotest680 pada mata pelajaran TI untuk jenjang Sekolah Menengah Atas

Diketahui suatu interpretasi I = {P ← true, Q ← false, R ← true, S ← false} untuk suatu kalimat logikaproposisional:

E: if (P or Q) then (if Q then (R and S) else not (R and S)
Definisikan suatu perluasan terhadap interpretasi I, misalnya hasil perluasan interpretasi adalah J. Tentukan
definisi untuk interpretasi J.

Jawaban dan Penjelasan

Berikut ini adalah pilihan jawaban terbaik dari pertanyaan diatas.

Okay, berdasarkan interpretasi I dan kalimat logika E, dapat dibuat interpretasi J sebagai perluasan I sebagai berikut:

Interpretasi I:

P ← true

Q ← false

R ← true

S ← false

Kalimat E:

if (P or Q) then (if Q then (R and S) else not (R and S)

Definisi interpretasi J:

P ← true (sama dengan I)

Q ← false (sama dengan I)

R ← true (sama dengan I)

S ← false (sama dengan I)

W ← true (ditentukan dari evaluasi kalimat E)

Dengan demikian, interpretasi J adalah:

J = {P ← true, Q ← false, R ← true, S ← false, W ← true}

Didapat perluasan interpretasi I ke J dengan menambah predikat W dengan nilai true, sesuai dengan hasil evaluasi kalimat logika E.

Semoga dengan pertanyaan yang sudah terjawab oleh saalfatih dapat membantu memudahkan mengerjakan soal, tugas dan PR sekolah kalian.

Apabila terdapat kesalahan dalam mengerjakan soal, silahkan koreksi jawaban dengan mengirimkan email ke yomemimo.com melalui halaman Contact

Last Update: Tue, 01 Aug 23