Modus Ponens Dan Tollens Logika Matematika

Modus tollens

ada beberapa metode-metode inferensi, yaitu teknik untuk menurunkan kesimpilan menurut hipotesis yang ada, tanpa harus memakai tabel kebenaran. Salah satu metode inferensi untuk memilih kevalidan yakni sebagai berikut

modus tollens

bentukmodus tollens ibarat 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 yakni sebagai berikut :



Contoh :
Jika zeus seorang manusia, maka ia sanggup mati
Zeus tidak sanggup mati
∴ zeus bukan seorang manusia

modus ponens

ada beberapa metode-metode inferensi, yaitu teknik untuk menurunkan kesimpilan menurut hipotesis yang ada, tanpa harus memakai tabel kebenaran. Salah satu metode inferensi untuk memilih kevalidan yakni sebagai berikut

modus ponens

perhatikan implikasi “bila p maka q” yang diasumsikan bernilai benar. Apabila selanjutnya diketahui bahwa antesedon (p) benar, semoga implikasi p ⇒ q benar, maka q juga harus bernilai benar. Inferensi ibarat itu disebut modus ponens.
Secara simbolis, modus ponens sanggup dinyatakan sebagai berikut:


Hal itu sanggup dilihat dari tabel berikut

Baris kritis yakni baris pertama. Pada baris tersebut, konklusi (q) bernilai T sehingga argumennya valid.

Contoh :
Jika digit terakhir suatu bilangan yakni 0, maka bilangan tersebut habis dibagi 10.
Digit terakhir bilangan 1470 yakni 0
∴ bilangan 1470 habis dibagi 10

Tweet