Logka Informatika Part 8

Validitas Argumen
dengan Aturan Inferensi

      Modus Ponens

• Sangat sering kita jumpai pada kehidupan sehari-hari berupa janji dan aturan
• Jika saya pandai maka ayah akan memberikan hadiah
• Jikan anda mahasiswa MI maka anda wajib memakai seragam batik
•       p --> q

       Modus Tollens

•Misal kita memiliki,

•P1 : pàq

•P2 : ~q

•C   : ~p

•Bentuk penarikan kesimpulan seperti di atas dinamakan modus tollens

        Silogisme Hopotetikal

•Misal kita memilki,

•P1 : pàq

•P2 : qàr

•C   : pàr

•Penarikan kesimpulan seperti di atas dinamakan silogisme hipotetikal

Alat bantu tambahan

•Adisi

Misal diberikan pernyataan “saya lapar”. Bentuk tersebut boleh ditambahkan menjadi “saya lapar atau haus”

p

-----

p v q

Contoh

•Simplikatif

Misal diberikan pernyataan “Saya programer dan desainer”. Pernyataan tetap benar jika kita memilih salah satunya, “saya programer” atau “saya desainer”

p ^ q            p ^ q

------   atau  -------

p                  q

•Konjungsi

Misal diberikan pernyataan “saya pintar”, kemudian diberikan juga pernyataan “saya rajin belajar”, maka kita dapat menyimpulkan pernyataan tersebut dengan menggabungkannya menggunakan operator konjungsi

p

q

--------

p ^ q

•Diberikan beberapa premis berikut ini :

•P1 : pàq

•P2 : qàr

•P3 : ~r

•C   : ~p

Apakah penarikan kesimpulan dari premis-premis di atas valid?

 

Pembuktian langsung

•Bentuk P1^P2^P3àC

•Berlaku : (pàq)^(qàr)^(~r)à(~p)

Pembuktian dengan kontrapositif

•Bentuk : ~Cà~(P1^P2^P3)

•Berlaku : ~(~p)à~[(pàq)^(qàr)^(~r)]

•Perhatikan! Kita hanya memiliki satu premis “~(~p)” sedangkan kita akan membuktikan kesimpulan “~(~p)à~[(pàq)^(qàr)^(~r)]”. Pasti kita akan mengalami kesulitan membuktikannya dengan aturan inferensi.

•Aturan inferensi tidak efektif untuk pembuktian dengan kontrapositif

Pembuktian dengan kontradiksi

•Bentuk : P1^P2^P3^~CàS

•Berlaku : (pàq)^(qàr)^(~r)^~(~p)àS

•Ingat! Negasi dari kesimpulan dijadikan premis tambahan dalam pembuktian

dengan kontradiksi

Contoh

 Sekian postingan dari saya semoga dapat bermaanfaat bagi para pengunjung semua.

 Terimakasih.

Materi di atas saya dapat dari materi mata kuliah Logika Informatika Politeknik

Negeri Lampung semester 1.

Related Posts:

Tweet