Maria Rosanti, S.Pt.,S.Pd.,M.Pd.

 Untuk membuktikan KEVALIDAN sebuah argumen, biasa

digunakan tabel kebenaran. Semakin banyak variabel
proposional yang digunakan maka semakin besar pula tabel
kebenaran yang akan dibuat.
 Last week, kita telah belajar strategi pembalikan untuk
membuktikan KEVALIDAN suatu argumen.
 Sekarang, kita akan belajar tentang TABLO SEMANTIK dan
cara untuk membuktikan kevalidan suatu argumen dengan
menggunakan Tablo Semantik+Strategi Pembalikan
(Menegasi kesimpulan)
 Tablo semantik adalah bentuk-bentuk proposisi yang
dibangun berdasarkan ATURAN TERTENTU yang biasanya
berbentuk POHON TERBALIK dengan cabang-cabang dan
ranting yang relevan.
 Dalam strategi pembalikan jika diketahui premis-premis
bernilai T dan kesimpulan bernilai F, jika hal itu bisa
dibuktikan maka argumen tsb Tidak Valid. Sebaliknya jika
hal tsb tidak bisa dibuktikan maka argumen tersebut Valid.
Jadi premis-premis yang bernilai T seharusnya juga
menghasilkan kesimpuan yang bernilai T juga. Kesimpulan
ini disebut semantically entailed dari premis-premis.
1. A  B 4. A↔B 7. ~(A v B)
A / \ ~A
B A ^ B ~A ^ ~B ~B
2. A  B 5. ~~A 8. ~(A → B)
/\ A A
A B 6. ~(A ^ B) ~B
3. A → B /\ 9. ~(A ↔ B)
/ \
~A ~B / \
~A B
A ^ ~B ~A ^ B
10. Jika ada bentuk A dan negasinya ~A dalam satu cabang maka terjadi ketidak konsistenan
pada cabang tersebut. Dan cabang tersebut dinyatakan TERTUTUP dan cabang tersebut
tidak bisa dikembangkan lagi. Hal ini disebabkan tidak mungkin A = T dan cabangnya ~A = T.
 Jika semua cabang Tablo tertutup maka ekspresi logika
tersebut tidak konsisten (Mutually inconsistent) atau
mereka bernilai salah semua. Akan tetapi jika terdapat satu
cabang saja yang terbuka maka ada setidak-tidaknya satu
baris yang bernilai T (dinamakan tablo semantik yang
konsisten)
Contoh 1
Terdapat 2 buah ekspresi logika :
~(A → B) dan ~A v B
Tablo semantik yang dapat dibuat :
~(A → B) (1) ~(A → B) (1)
~A v B (2) ~A v B (2)
/ \ |
A aturan 8 pada (1)
~A B aturan 2 pada (2)
~B
| |
/\
A A aturan 8 pada (1)
~A B aturan 2 pada (2)
~B ~B (tutup) (tutup)
(tutup) (tutup)
1) Carilah ekspresi logika yang dapat memakai aturan tanpa
cabang (satu cabang).
2) Carilah ekspresi logika yang isinya mempunyai bentuk, yang
tablonya tertutup, misalnya A dan negasinya ~A, agar
cabang tablo tertutup dan tidak dapat dikembangkan lagi.
Contoh 2
 Apakah himpunan dari 4 buah ekspresi logika berikut
bersama-sama mutually consistent?
~AvB, ~(B^~C), C→D, dan ~(~AvD)
Jawab :
Tuliskan semua ekspresi logika :
(1) ~A v B
(2) ~(B ^ ~C)
(3) C→D
(4) ~(~A v D)
Langkah 2 : Langkah 3 : Langkah 4 :
Aturan 7 pada baris (4) Aturan 5 pada baris (5) Aturan 2 pada baris (1)
(1) ~A v B (1) ~A v B (1) ~A v B
(2) ~(B ^ ~C)
(2) ~(B ^ ~C) (2) ~(B ^ ~C)
(3) C→D
(3) C→D (3) C→D
(4) ~(~A v D)
(4) ~(~A v D) (4) ~(~A v D)
|
| |
(5) ~~A
(5) ~~A (5) ~~A
(6) ~D
(6) ~D (6) ~D |
| (7) A
(7) A /\
(8) ~A B
(tutup)
Langkah 5 : Langkah 6 : Langkah 7 :
Aturan 3 pada baris (3)
Aturan 6 pada baris (2) Aturan 5 pada baris (2)
(1) ~A v B
(1) ~A v B (1) ~A v B
(2) ~(B ^ ~C)
(2) ~(B ^ ~C) (2) ~(B ^ ~C) (3) C→D
(3) C→D (3) C→D (4) ~(~A v D)
(4) ~(~A v D) |
(4) ~(~A v D)
| (5) ~~A
| (6) ~D
(5) ~~A
(5) ~~A |
(6) ~D
(6) ~D (7) A
|
| / \
(7) A (8) ~A B
(7) A / \ (tutup) / \
/ \ (8) ~A B (9) ~B ~~C
(8) ~A B (tutup) / \ (tutup) |
(tutup) / \ (9) ~B ~~C (10) C
/\
(9) ~B ~~C (tutup) |
(11) ~C D
(tutup) (10) C
(tutup) (tutup)
 Seluruh tablo tertutup, artinya kesatuan ekspresi tersebut
tidak konsisten (mutually inconsistent).
(1) A v ~B Cek !!!
(2) B ^ ~C
v(A) = T atau v(~C) = T maka v(C) =
(3) C → A
F. Jadi baris 3 v(C → A) = T.
|
B aturan 1 pada (2)
~C Karena v(~B) tutup, maka v(~B) = F.
/ \ jadi v(B) = T. Jadi baris 2 v(B^~C) =
A ~B aturan 2 pada (1) T.
/ \ (tutup)
~C A aturan 2 pada (3) Baris 1 v(A v ~B) = T.
Karena tablo tidak tertutup maka
terjadi konsistensi bersama-sama
(mutually consistent) artinya Premis (1), (2), dan (3) bernilai
terdapat minimal satu baris yang
bernilai T T
Tablo semantik hanya dapat digunakan untuk membuktikan
kekekonsistenan suatu argumen. Akan tetapi jika digabungkan
dengan dengan strategi pembalikan dengan menegasi
kesimpulan. Maka dapat digunkanan untuk menguji kevalidan
suatu argumen.

Jika Tablo Semantik + Strategi pembalikan dengan menegasi

kesimpulan = Tertutup semua. Maka terjadi argumen tidak
konsisten. Karena tidak konsisten itu terjadi karena strategi
pembalikan dengan menegasi kesimpulan maka argumen
tersebut VALID.
Contoh 3
 Jika Badu mencontek saat ujian, maka dosen akan datang jika
pengawas tidak lalai. Jika Badu mencontek saat ujian, maka
pengawas tidak lalai. Dengan demikian, jika Badu mencontek,
maka dosen akan datang.
Variabel proposisionalnya :
A = Badu mencontek saat ujian
B = dosen akan datang
C = pengawas lalai
Ekspresi logikanya : Setelah dilakukan SP negasi kesimpulan
(1) A → (~C → B) A → (~C → B)
(2) A → ~C A → ~C
(3) A → B ~(A → B)
Langkah 2 : Langkah 3 : Langkah 4 :
Aturan 8 pada baris (3) Aturan 3 pada baris (2) Aturan 3 pada baris (1)
(1) A → (~C → B) (1) A → (~C → B) (1) A → (~C → B)
(2) A → ~C (2) A → ~C (2) A → ~C
(3) ~(A → B) (3) ~(A → B) (3) ~(A → B)
| | |
(4) A (4) A (4) A
(5) ~B (5) ~B (5) ~B
/ \ / \
(6) ~A ~C (6) ~A ~C
(tutup) (tutup) / \
(7) ~A (~C → B)
(tutup)
Langkah 4 : Langkah 5 : Kesimpulan :
Aturan 3 pada baris (7) Aturan 5 pada baris (8) Karena seluruh tablo
(1) A → (~C → B)
(1) A → (~C → B)
(2) A → ~C
tertutup, berarti
(2) A → ~C terjadi ketidak
(3) ~(A → B)
(3) ~(A → B) konsistenan diseluruh
|
argumen. Karena
| (4) A
ketidak konsistenan
(4) A (5) ~B
itu terjadi karena SP
(5) ~B / \
(6) ~A ~C
negasi kesimpulan
/ \ maka negasi dari
(tutup) / \
(6) ~A ~C
(7) ~A (~C → B)
kesimpulan itu tidak
(tutup) / \ (tutup) / \ benar yang benar
(7) ~A (~C → B) (8) ~~C B adalah premis
(tutup) / \ | (tutup) kesimpulan sebelum
(8) ~~C B C dinegasi. Maka
(tutup) argumen tersebut
(tutup)
Valid.
Buktikan dengan menggunakan Tablo Semantik!
1. A→B, ¬(¬A v ¬B ), ¬B v ¬C, A ^ B
2. ¬ (B →C ), ¬ ( ¬ B ^ C ), A→ B, A ^ B
3. A →B, ¬B v C, A ^ B, ¬ ( C ^ D )

TUGAS 8

Tugas 8!
Dikerjakan dengan rapi, tulis tangan, di “SS” , foto,
kirim by wa. Batas waktu pengumpulan tugas 7 hari (
jam 23.00 wib ). Trims