Dokumen ini membahas tentang tablo semantik, yaitu strategi pembalikan yang digunakan untuk menguji konsistensi beberapa ekspresi logika. Dokumen ini menjelaskan 10 aturan dasar tablo semantik beserta contoh penerapannya dalam menguji konsistensi dua atau lebih ekspresi logika.

1. Pertemuan Ke – 8
Tablo Semantik

2. Tablo Semantik
 Penggunaan Tablo semantik berbasis pada strategi
pembalikan.
 Strategi pembalikan pada Tablo semantik dilakukan
dengan memberi Negasi pada kesimpulan dan
memeriksa hasilyang diperoleh.
 Tablo Semantik sebenarnya hanya bentuk-bentuk
proporsisi yang dibangun berdasarkan aturan-aturan
tertentu yang biasanya berbentuk pohon terbalik
dengan cabang-cabang dan Ranting-ranting yang
Relevan.

3. Aturan-aturan Tablo Semantik
 Aturan (1) :
A
B
BA
BA

4.  Aturan (2): BA

5.  Aturan (3): BA 

6.  Aturan (4): BA 

7.  Aturan (5):
A
A
A

8.  Aturan (6):  BA 

9.  Aturan (7):  BA
 BA
B
A



10.  Aturan (8):  BA 
 BA 
B
A


11.  Aturan (9):  BA 

12.  Aturan (10) :
Jika ada bentuk logika A dan Negasinya yang
berada pada satu deretan cabang dari Tablo, Maka
terjadi ketidakkonsistenan pada cabang tersebut, dan
cabang dinyatakan “Tertutup (Closed)” , dan cabang
tersebut tidak bisa dikembangkan lagi.
 A

13. Contoh 1
 Apakah 2 buah ekspresi logika ini konsisten bersama-
sama?:
dan BA  BA

14. Contoh 2
 Apakah himpunan dari 4 buah ekspresi logika berikut
ini bersama-sama konsisten (mutually Consistent)?:
dan  DCCBBA  ,,  DA

15. Pembenaran Aturan Tablo Semantik
 Aturan (1) :
A
B
BA
BA

16.  Aturan (2): BA

17.  Aturan (3): BA 

18.  Aturan (4): BA 

19.  Aturan (5):
A
A
A

20.  Aturan (6):  BA 

21.  Aturan (7):  BA
 BA
B
A



22.  Aturan (8):  BA 
 BA 
B
A


23.  Aturan (9):  BA 

24. Contoh 3
Tono atau Tini pergi ke pesta. Jika Tini pergi ke pesta,
maka Dewi pergi ke Pesta, Jika tidak Bowo pergi ke
pesta. Bowo pergi ke pesta jika Tono tidak pergi ke
pesta. Dengan demikian, Dewi Pergi ke pesta.

25. Contoh 4
Jika Badu mencontek saat ujian, maka dosen akan
datang jika pengawas tidak lalai. Jika Badu mencontek
saat ujian, maka pengawas lalai. Dengan Demikian,
Jika Badu mencontek, maka dosen akan datang.