Logika

KELOMPOK 4
ABEL LAVANIE REVITA PUTRI

Matematika GESTI ADE SEVITA

NOVI ANTIKA
MODUS PONENS DAN TOLENS SYIFA AMALIA SHOLIHA
1. MODUS PONENS

modus ponens atau implikasi penghapusan adalah aturan penarikan kesimpulan. Hal ini dapat diringkas
sebagai "P maka Q dan P adalah keduanya dianggap benar, maka Q harus benar."

Jika p=>q benar dan p benar maka q benar.

Skema argumen dapat ditulis sebagai berikut :
p=>q . . . . . . premis 1
p . . . . . . premis 2

:• q . . . . . kesimpulan / konklusi

Dalam bentuk implikasi, argumentasi tersebut dapat dituliskan sebagai

[(p => q)^ p]=>q . Argumentasi ini dikatakan sah kalau pernyataan implikasi
[(p => q)^ p]=>q merupakan tautologi. Tautologi adalah sebuah pernyataan
majemuk yang selalu benar untuk semua kemungkinan nilai kebenaran dari
pernyataan-pernyataan komponennya.
Tabel nilai kebenaran dari [(p => q) ^ p]=>q

2. MODUS TOLENS

modus tollens adalah bentuk argumen valid dan aturan penarikan kesimpulan.
Ini adalah sebuah penerapan dari kebenaran umum bahwa jika sebuah
pernyataan adalah benar, maka kontra positif-nya juga benar.

Jika p=>q benar dan ~ q benar maka p benar

Skema argumen dapat ditulis sebagai berikut:
p=>q . . . . . premis 1
~q . . . . . premis 2

:•~p . . . . . . kesimpulan / konlusi

Dalam bentuk implikasi, modus tollens dapat dituliskan sebagai

[(p=>q)^~ q]=>~ p ,sah atau tidaknya modus tollens dapat diuji dengan tabel
kebenaran sebagai berikut !
Tabel nilai kebenaran [(p=>q)^~q]=>~p