a. Berikan contoh kalimat dalam bahasa logika proposisional yang memuat 4 simbol proposisional
𝑃, 𝑄, 𝑅, dan, 𝑆 ,dan menggunakan konektif - konektif preposisional: not, and, if-then, if and only if,
dan if-then-else.
b. Berikanlah penjelasan mengapa interpretasi 𝐽 = {𝑃 ← false, 𝑄1 ← true, 𝑄 ← false, 𝑆 ← false}
merupakan interpretasi untuk kalimat 𝒇 ∶ ( if 𝑆 then not (𝑄 or 𝑅) else not 𝑃) if and only if
(not (𝑄 or 𝑅)and 𝑃).
2. Diketahui suatu kalimat logika proposisional 𝒇: (if 𝑆 then not (𝑄 or 𝑅) else not 𝑃) if and only if (
not(𝑄 or 𝑅) and 𝑃), bangun pohon keputusan untuk kalimat 𝒇.
3. Diketahui suatu kalimat logika proposisional 𝑬: if (𝑃 and (𝑄 or 𝑅)) then ((𝑃 and (𝑄 or 𝑅)) or not (𝑃
and 𝑄)). Tentukan kalimat hasil substitusi total 𝑬 < {𝑃 ← (𝑃 or 𝑄)}.
4. Diketahui suatu interpretasi 𝐼 atas (over) domain 𝐷 = himpunan semua bilangan bulat, dengan 𝐼 = {𝑎 ←
2, 𝑏 ← 0, 𝑐 ← 1, 𝑦 ← 3, 𝑧 ← 5, 𝑓 ← 𝑓1 (𝑑) = 3𝑑 + 1, 𝑔1 (𝑑1 , 𝑑2 ) = 2(𝑑1 + 𝑑2 ) + 1, 𝑝 ←
𝑝1 (𝑑1 , 𝑑2 , 𝑑3 ): 𝑑1 + 𝑑2 > 2𝑑2 , 𝑞1 (𝑑1 , 𝑑2 ): 2𝑑1 ≠ 𝑑2 }.
Lakukan peluasan terhadap interpretasi 𝐼 dengan memberikan nilai baru terhadap simbol fungsi 𝑔.
Jawaban :
1. a. Contoh kalimat logika preposisional
𝑃 = “ Hari ini selasa.”
𝑄 = “ Hari ini hujan.”
𝑅 = “ Aku sedang ujian.”
𝑆 = “Aku bersantai.”
Terlihat bahwa ada 3 pemunculan 𝑃 di dalam kalimat (ditunjukkan dengan 𝑃 diblock warna kuning)
Kemudian untuk mendapatkan hasil substitusi ,semua tempat yang diblock warna kuning diganti
dengan (𝑃 or 𝑄). Jadi kalimat hasil substitusi total adalah
if ((𝑃 or 𝑄)and (𝑄 or 𝑅)) then (((𝑃 or 𝑄)and (𝑄 or 𝑅)) or not ((𝑃 or 𝑄) and 𝑄))
4. Hasil peluasan terhadap interpretasi 𝐼 dinotasikan dengan notasi interpretasi baru, yaitu 𝐽
Peluasan kembali dilakukan dengan memberikan nilai baru terhadap simbol fungsi 𝑔. Peluasan yang
dilakukan dalam fungsi harus memiliki domain dan hasil dalam himpunan 𝐷= himpunan semua
bilangan bulat. Peluasan yang dilakukan adalah menggantinya dengan fungsi menjadi
𝑔1 (𝑑1 , 𝑑2 ) = 2(3𝑑1 + 2𝑑2 )
Penulisan peluasan
< 𝑔1 (𝑑1 , 𝑑2 ) = 2(3𝑑1 + 2𝑑2 ) > 𝐼
Jadi hasil peluasan interpretasi dapat dinotasikan dengan notasi interpretasi baru, yaitu 𝐽, dengan
𝐽 = {𝑎 ← 2, 𝑏 ← 0, 𝑐 ← 1, 𝑦 ← 3, 𝑧 ← 5, 𝑓 ← 𝑓1 (𝑑) = 3𝑑 + 1, 𝑔𝐽 (𝑑1 , 𝑑2 ) = 2(3𝑑1 + 2𝑑2 ) + 1, 𝑝 ←
𝑝1 (𝑑1 , 𝑑2 , 𝑑3 ): 𝑑1 + 𝑑2 > 2𝑑2 , 𝑞1 (𝑑1, 𝑑2 ): 2𝑑1 ≠ 𝑑2 }.