Substitusi Kalimat
F ◀ {G1 H1 ,
F ◀ {G H } G2 H2 , ….,
Gn Hn }
Substitusi Substitusi
Tunggal Multi
PEMBUKTIAN VALIDITAS
DENGAN POHON
SEMANTIK
SUBSTITUSI TUNGGAL
SUBSTITUSI TUNGGAL
• Substitusi tunggal : proses penggantian satu kalimat bagian yang muncul dalam
suatu kalimat dengan kalimat lain.
• Hasil substitusi:
kalimat baru yang bentuk maupun nilainya bisa berbeda/sama dari kalimat awal.
JENIS SUBSTITUSI TUNGGAL
SUBSTITUSI SUBSTITUSI
TOTAL PARSIAL
Permunculan Permunculan
pertama kedua
SUBSTITUSI SUBSTITUSI
MULTI TOTAL MULTI PARSIAL
dengan n=2 (karena terdapat dua kalimat yang diganti, yaitu G1 dan G2 )
m1=1 (karena permunculan G1 dalam F adalah 1 buah)
m2=1 (karena permunculan G2 dalam F adalah 1 buah)
Jadi, akan terdapat 21x21 = 2x2 = 4 buah hasil substitusi.
LANGKAH
SUBSTITUSI MULTI PARSIAL
• Penggantian nol permunculan G1 dan nol permunculan G2
if (P and Q) or S then (Q or R)
• Penggantian satu permunculan G1 dan nol permunculan G2
if (P and Q) or S then ((R and S) or R)
• Penggantian nol permunculan G1 dan satu permunculan G2
if (R) or S then (Q or R)
• Penggantian satu permunculan G1 dan satu permunculan G2
if (R) or S then ((R and S) or R)
Jadi, terbukti ada 4 kalimat hasil substitusi parsial yang mungkin.
Referensi
1. Suprapto. (2020). Logika Informatika (BMP). Tangerang Selatan: Universitas Terbuka.
2. Bergman, M, Moor, J, and Nelson, J. (2014). The Logic Book (6th Edition). New York: McGraw
Hill. g/lect07.pdf