Modus Ponens dan Tollens Logika Matematika
Modus tollens
ada beberapa metode-metode inferensi, yaitu teknik untuk menurunkan kesimpilan berdasarkan hipotesis yang ada, tanpa harus menggunakan tabel kebenaran. Salah satu metode inferensi untuk menentukan kevalidan adalah sebagai berikutmodus tollens
bentukmodus tollens mirip dengan modus ponens, hanya saja hipotesis kedua dannkesimpilan merupakan kontraposisi hipotesis pertama modus ponens. Kevalidan hipotesis diperoleh mengingat kenyataan bahwa suatu implikasi selalu ekuivalen dengan kontraposisinya.Secara simbolis, bentuk inferensi modus tollens adalah sebagai berikut :
Contoh :
Jika zeus seorang manusia, maka ia dapat mati
Zeus tidak dapat mati
∴ zeus bukan seorang manusia
modus ponens
ada beberapa metode-metode inferensi, yaitu teknik untuk menurunkan kesimpilan berdasarkan hipotesis yang ada, tanpa harus menggunakan tabel kebenaran. Salah satu metode inferensi untuk menentukan kevalidan adalah sebagai berikutmodus ponens
perhatikan implikasi “bila p maka q” yang diasumsikan bernilai benar. Apabila selanjutnya diketahui bahwa antesedon (p) benar, supaya implikasi p ⇒ q benar, maka q juga harus bernilai benar. Inferensi seperti itu disebut modus ponens.Secara simbolis, modus ponens dapat dinyatakan sebagai berikut:
Hal itu dapat dilihat dari tabel berikut
Baris kritis adalah baris pertama. Pada baris tersebut, konklusi (q) bernilai T sehingga argumennya valid.
Contoh :
Jika digit terakhir suatu bilangan adalah 0, maka bilangan tersebut habis dibagi 10.
Digit terakhir bilangan 1470 adalah 0
∴ bilangan 1470 habis dibagi 10
0 Response to "Modus Ponens dan Tollens Logika Matematika"
Post a Comment