Rumus Contoh Modus Ponens, Modus Tolens, Silogisme

Beberapa prinsip dalam penarikan kesimpulan antara lain:
1. Modus Ponens
adalah suatu argumentasi yang dapat dinyatakan dalam bentuk:
p ⇒ q (B) ............ premis 1
p (B) ............ permisi 2
━━━━━━━━━━━━━━━━━━
∴q (B) ........... kesimpulan/konklusi

2. Modus Tolens
adalah suatu argumentasi yang dapat dinyatakan dalam bentuk:
p ⇒ q (B) .......... premis 1
~q (B) .......... premis 2
━━━━━━━━━━━━━━━━━━
∴~p (B) ......... kesimpulan/konklusi

3. Silogisme
adalah pernyataan implikasi yang dinyatakan dalam bentuk:
p ⇒ q (B) ........... premis 1
q ⇒ r (B) ........... premis 2
━━━━━━━━━━━━━━━━━━
∴p ⇒ r (B) ........... kesimpulan/Konklusi

Contoh:
Tentukan himpunan dari premis-premis berikut!
1. Modus Ponens
p ⇒ q (Jika Ibu ulang tahun, maka bapak memberi hadiah)
p (Ibu ulang tahun)
━━━━━━━━━━━━━━━━━━
∴q (bapak memberi hadiah)

2. Modus Tolens
p ⇒ q (Jika ada api, maka ada asap)
~q (bukan asap)
━━━━━━━━━━━━━━━━━━
∴~p (bukan api)

3. Silogisme
p ⇒ q (Jika Reni pergi, maka Dinda menangis)
q ⇒ r (Jika Dinda menangis, maka Sandi Pulang)
━━━━━━━━━━━━━━━━━━
∴p ⇒ r (Jika Reni pergi, maka Sandi pulang)