SOAL & PEMBAHASAN INFERENSI LOGIKA MATEMATIKA untuk Under Graduate

Susunlah bukti formal validitas argument berikut: (p q) r s p q t r

Tentukanlah Rule of Inference yang sesuai untuk kasus di bawah ini : Ani ada di Bandung atau Tasikmalaya Ani tidak ada di Bandung. Jadi, ani ada di Tasikmalaya. Jawab : Dengan rumusan proposional : p: Ani ada di Bandung atau Tasikmalaya q: Ani ada di Tasikmalaya
pq p q Ini adalah DS atau silogisme disjungtif Buktikan bahwa argument berikut valid.. Jika pintu kereta api ditutup, lalu lintas akan berhenti. Jika lalu lintas berhenti, akan terjadi kemacetan lalu lintas. Pintu kereta api ditutup. Jadi, terdapat kemacetan lalu lintas. Jawab : Misal: p : pintu kereta api ditutup q : lalu lintas akan berhenti r : terjadi kemacetan lalu lintas Simbol untuk argument diatas adalah: p q q r p r

Jawab : 1. (p q) r PR 2. p s PR 3. q t PR / r 4. r IP 5. p 2, Simp 6. q 3, Simp 7. p q 5,6 Konj. 8. r 1,7, MP 9. r r 4,8, Konj. kontradiksi pada metode IP, terjadi kontradiksi argument ini valid !

Proses pembuktian validitas argument diatas adalah sebagai berikut: 1. p q Pr 2. q r Pr 3. p Pr / r 4. q 1,3 MP 5. r 2,4 MP

Buktikan bahwa argumen di bawah ini adalah valid : r s q p ~q ~s ~r ~p

Jawab: 1. r s 2. p q 3. ~q ~s 4. ~r s 5. ~p q 6. (~r s) (~p q) 7. (~r ~p) (s q) 8. ~s ~q 9. ~(s ~q) 10. ~r ~p

Buktikan validasi argumen berikut ini : Jika Ibu pergi ke pasar, maka bapak pergi ke kantor. Ibu dan kakak pergi ke pasar. Jadi, bapak pergi ke kantor.

Jawab : Misal: p : Ibu pergi ke pasar q : Bapak pergi ke kantor r : Kakak pergi ke pasar Simbol argument diatas adalah sebagai berikut: p q r p q Proses pembuktian validitas argument diatas adalah sebagai berikut: 1. p q Pr 2. p r Pr / q 3. p 2, Simp 4. q 1,3 MP
Susunlah bukti formal validitas argument berikut: Pak Ali adalah seorang pedagang atau petani. Jika pak Ali seorang pedagang, maka ia kaya. Ternyata Pak Ali tidak kaya. Jadi, Pak Ali seorang petani

PR PR PR / ~r ~p 1, hk.ekiv. implikasi 2, hk.ekiv. implikasi 4,5, Add. 6, Asosiatif 3, Komutatif 8, de M 7,9 DS

Jawab : Misal: p : Pak Ali adalah seorang pedagang q : Pak Ali adalah seorang petani r : Pak Ali kaya Simbol untuk argument diatas adalah: p q p r ~r q Proses pembuktian validitas argument diatas adalah sebagai berikut: 1. p q Pr 2. p r Pr 3. ~ r Pr / q 4. ~ p 2,3 MT 5. q 1,4 DS

Buktikan bahwa Argumen di bawah ini valid! (A B) (C D) (D E) F A F

Jawab : (cara 1 : Direct Proof) 1. (A B) (C D) 2. (D E) F 3. A 4. A B 5. (C D) 6. (D C) 7. D 8. (D E) 9. F

Jawab : (cara 2 : Indirect Proof) 1. (A B) (C D) Premis 1 2. (D E) F Premis 2 3. A Premis 3 F 4. F IP 5. (D E) 2,4 MT 6. D E 5 Hk. De Morgan 7. D 6 Simp. 8. D C 7 Add 9. C D 8 Komutatif

Premis 1 Premis 2 Premis 3 F 3 Add 1,4 MP 5 Komutatif 6 Simp. 7 Add Terbukti 2,8 MP

10. (C D) 11. (A B) 12. A B 13. A 14. A A

9 Hk. De Morgan 1,10 MT 11 Hk. De Morgan 12 Simp. 3,13 Konj. Terjadi kontradiksi, maka argumen ini Valid !

Buktikan validitas argumen di bawah ini menggunakan pembuktian : (a) dengan Nilai Penetapan Kebenaran (b) Indirect Proof (IP) (c) Aturan Penukaran (RULE OF REPLACEMENT)

(a b ) (c d) ~c ~b Jawaban (a) Nyatakan ke dalam ekspresi logika kemudian buat asumsi bahwa argumen tersebut invalid, maka : -----------------------(B)---- (S) (S) [[(a b) (c d)) ~ c ] ~ b (S) (B) (S) (B) Dari statement di atas, v(~b)= S. Oleh karena itu v(b) = B Karena premis harus (B), maka v(~ c) = B sehingga v(c) = S Dan v((a b ) (c d) juga harus = B, tetapi c sudah dinyatakan bernilai (S). Hal ini konsekuensi logisnya v(c d)=S apapun nilai d. Agar suku tersebut bernilai (B) maka haruslah v(a b)=S agar implikasinya (B). Padahal tadi sudah dinyatakan v(b)=B dan ini tidak bisa dipenuhi karena b disjungsi dengan a(apapun nilai a, tetap hasilnya akan (B). Di sini terjadi kontradiksi Argumen di atas valid.

Jawaban (b) 1. (a b) (c d) Premis 1 2. ~ c Premis 2 ~ b 3. ~(~b) b IP (indirect proof) 4. (a b) 3 Add lalu komutatif 5. (c d) 1,4 MP 6. c 5 Simp 7. ~ c c 2,6 Konj. argumen ini valid Pada baris 7 terdapat kontradiksi

Jawaban (c) 1. (a b) (c d) 2. ~ c 3. ~ c ~d 4. ~ (c d) 5. ~ (a b) 6. ~ a ~b 7. ~ b ~a 8. ~ b

Pr Pr ~b 2 Add 3 de M 1,4 MT 5 de M 6 Komu 7 Simp