1 / 18

TABLO SEMANTIK

TABLO SEMANTIK. Oleh : Fidia Deny Tisna A. Untuk membuktikan keVALIDan sebuah argumen , biasa digunakan tabel kebenaran . Semakin banyak variabel proposional yang digunakan maka semakin besar pula tabel kebenaran yang akan dibuat .

isla
Download Presentation

TABLO SEMANTIK

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript


  1. TABLO SEMANTIK Oleh : Fidia Deny Tisna A.

  2. UntukmembuktikankeVALIDansebuahargumen, biasadigunakantabelkebenaran. Semakinbanyakvariabelproposional yang digunakanmakasemakinbesar pula tabelkebenaran yang akandibuat. • Last week, kitatelahbelajarstrategipembalikanuntukmembuktikankeVALIDansuatuargumen. • Sekarang, kitaakanbelajartentang TABLO SEMANTIKdancarauntukmembuktikankevalidansuatuargumendenganmenggunakanTabloSemantik+StrategiPembalikan (Menegasikesimpulan) Pendahuluan

  3. Tablosemantikadalahbentuk-bentukproposisi yang dibangunberdasarkanATURAN TERTENTU yang biasanyaberbentukPOHON TERBALIK dengancabang-cabangdan ranting yang relevan. • Dalamstrategipembalikanjikadiketahuipremis-premisbernilai T dankesimpulanbernilai F, jikahalitubisadibuktikanmakaargumentsbTidak Valid. Sebaliknyajikahaltsbtidakbisadibuktikanmakaargumentersebut Valid. Jadipremis-premis yang bernilai T seharusnyajugamenghasilkankesimpuan yang bernilai T juga. Kesimpulaninidisebutsemantically entaileddaripremis-premis. ApaituTabloSemantik?

  4. A ↔ B • / \ • A ^ B ~A ^ ~B • ~~A A 6. ~(A ^ B) /\ ~A ~B 1. A  B A B 2. A  B /\ A B 3. A → B / \ ~A B • 7. ~(A v B) • ~A • ~B • 8. ~(A→ B) A ~B • 9. ~(A ↔ B) / \ • A ^ ~B ~A ^ B AturanAturanTabloSemantik • 10. Jikaadabentuk A dannegasinya ~A dalamsatucabangmakaterjadiketidakkonsistenanpadacabangtersebut. Dan cabang tersebutdinyatakan TERTUTUP dancabangtersebuttidakbisadikembangkanlagi. Hal inidisebabkantidakmungkin A = T dancabangnya ~A = T.

  5. JikasemuacabangTablotertutupmakaekspresilogikatersebuttidakkonsisten (Mutually inconsistent) ataumerekabernilaisalahsemua. Akan tetapijikaterdapatsatucabangsaja yang terbukamakaadasetidak-tidaknyasatubaris yang bernilai T (dinamakantablosemantik yang konsisten) KevalidanTabloSemantik

  6. Terdapat 2 buahekspresilogika : ~(A → B) dan ~A v B Tablosemantik yang dapatdibuat : ~(A → B) (1) ~A v B (2) / \ ~A B aturan 2 pada (2) | | A Aaturan 8 pada (1) ~B ~B (tutup) (tutup) ~(A → B) (1) ~A v B (2) | Aaturan 8 pada (1) ~B /\ ~A B aturan 2 pada (2) (tutup) (tutup) Contoh

  7. Carilahekspresilogika yang dapatmemakaiaturantanpacabang (satucabang). • Carilahekspresilogika yang isinyamempunyaibentuk, yang tablonyatertutup, misalnya A dannegasinya ~A, agar cabangtablotertutupdantidakdapatdikembangkanlagi. HeuristikPembuatanTablo

  8. Apakahhimpunandari 4 buahekspresilogikaberikutbersama-sama mutually consistent? ~AvB, ~(B^~C), C→D, dan ~(~AvD) Jawab : Tuliskansemuaekspresilogika : (1) ~A v B (2) ~(B ^ ~C) (3) C→D (4) ~(~A v D) Contoh

  9. Langkah 3 : Aturan 5 padabaris (5) (1) ~A v B (2) ~(B ^ ~C) (3) C→D (4) ~(~A v D) | (5) ~~A (6) ~D | (7) A Langkah 4 : Aturan 2 padabaris (1) (1) ~A v B (2) ~(B ^ ~C) (3) C→D (4) ~(~A v D) | (5) ~~A (6) ~D | (7) A / \ (8) ~A B (tutup) Langkah 2 : Aturan 7 padabaris (4) (1) ~A v B (2) ~(B ^ ~C) (3) C→D (4) ~(~A v D) | (5) ~~A (6) ~D

  10. Langkah 5 : Aturan 6 padabaris (2) (1) ~A v B (2) ~(B ^ ~C) (3) C→D (4) ~(~A v D) | (5) ~~A (6) ~D | (7) A / \ (8) ~A B (tutup) / \ (9) ~B ~~C (tutup) Langkah 6 : Aturan 5 padabaris (2) (1) ~A v B (2) ~(B ^ ~C) (3) C→D (4) ~(~A v D) | (5) ~~A (6) ~D | (7) A / \ (8) ~A B (tutup) / \ (9) ~B ~~C (tutup) | (10) C Langkah 7 : Aturan 3 padabaris (3) (1) ~A v B (2) ~(B ^ ~C) (3) C→D (4) ~(~A v D) | (5) ~~A (6) ~D | (7) A / \ (8) ~A B (tutup) / \ (9) ~B ~~C (tutup) | (10) C / \ (11) ~C D (tutup) (tutup)

  11. Seluruhtablotertutup, artinyakesatuanekspresitersebuttidakkonsisten (mutually inconsistent).

  12. (1) A v ~B (2) B ^ ~C (3) C→ A | B aturan 1 pada (2) ~C / \ A ~B aturan 2 pada (1) / \ (tutup) ~C A aturan 2 pada (3) Karenatablotidaktertutupmakaterjadikonsistensibersama-sama (mutually consistent) artinyaterdapatminimal satubaris yang bernilai T Cek !!! v(A) = T atau v(~C) = T maka v(C) = F. Jadibaris 3 v(C → A) = T. Karena v(~B) tutup, maka v(~B) = F. jadi v(B) = T. Jadibaris 2 v(B^~C) = T. Baris 1 v(A v ~B) = T. Premis (1), (2), dan (3) bernilai T Tabloapaini?

  13. Tablosemantikhanyadapatdigunakanuntukmembuktikankekekonsistenansuatuargumen. Akan tetapijikadigabungkandengandenganstrategipembalikandenganmenegasikesimpulan. Makadapatdigunkananuntukmengujikevalidansuatuargumen. JikaTabloSemantik + Strategipembalikandenganmenegasikesimpulan = Tertutupsemua. Makaterjadiargumentidakkonsisten. Karenatidakkonsistenituterjadikarenastrategipembalikandenganmenegasikesimpulanmakaargumentersebut VALID. TabloSemantikdanStrategiPembalikan

  14. Jika Badu menconteksaatujian, makadosenakandatangjikapengawastidaklalai. Jika Badu menconteksaatujian, makapengawastidaklalai. Dengandemikian, jika Badu mencontek, makadosenakandatang. Variabelproposisionalnya : A = Badu menconteksaatujian B = dosenakandatang C = pengawaslalai Ekspresilogikanya : Setelahdilakukan SP negasikesimpulan (1) A → (~C→ B) A → (~C → B) (2) A→ ~C A → ~C (3) A → B ~(A → B) Contoh

  15. Langkah 3 : Aturan 3 padabaris (2) (1) A → (~C → B) (2) A → ~C (3) ~(A → B) | (4) A (5) ~B / \ (6) ~A ~C (tutup) Langkah 4 : Aturan 3 padabaris (1) (1) A → (~C → B) (2) A → ~C (3) ~(A → B) | (4) A (5) ~B / \ (6) ~A ~C (tutup) / \ (7) ~A (~C→ B) (tutup) Langkah 2 : Aturan 8 padabaris (3) (1) A → (~C → B) (2) A → ~C (3) ~(A → B) | (4) A (5) ~B

  16. Langkah 4 : Aturan 3 padabaris (7) (1) A → (~C → B) (2) A → ~C (3) ~(A → B) | (4) A (5) ~B / \ (6) ~A ~C (tutup) / \ (7) ~A (~C→ B) (tutup) / \ (8) ~~C B (tutup) Langkah 5 : Aturan 5 padabaris (8) (1) A → (~C → B) (2) A → ~C (3) ~(A → B) | (4) A (5) ~B / \ (6) ~A ~C (tutup) / \ (7) ~A (~C→ B) (tutup) / \ (8) ~~C B | (tutup) C (tutup) Kesimpulan: Karenaseluruhtablotertutup, berartiterjadiketidakkonsistenandiseluruhargumen. Karenaketidakkonsistenanituterjadikarena SP negasikesimpulanmakanegasidarikesimpulanitutidakbenar yang benaradalahpremiskesimpulansebelumdinegasi. Makaargumentersebut Valid.

  17. Cekkonsistensi (TabloSemantik), CekKevalidan (TS+SP menegasikesimpulan), CekKevalidan (StrategiPembalikandenganmenyalahkankesimpulan) dariargumenberikut : • TonoatauTinipergikepesta. JikaTinipergikepesta, makaDewiPergikepesta, jikaBowotidakpergikepesta. BowopergikepestajikaTonotidakpergikepesta. Dengandemikian, Dewipergikepesta. • JikaBowotinggal di Jogja, diatinggal di Indonesia. Bowotinggal di Jogja. Dengandemikian, diatinggal di Indonesia. • JikaDitotidaktinggal di Jogja, diatidaktinggal di Indonesia. Ditotinggal di Indonesia. Dengandemikian, Ditotidaktinggal di Jogja. Tugas

  18. Next… Bentuk Normal

More Related