Silogisme disjungtif (SD)

Marni

Menurut Bu Guru, ambil rapotnya bisa hari tanggal 3 atau tanggal 4.

Jono

Sudah dikonfirmasi, kata beliau bukan tanggal 4.

Marni

Oh, berarti tanggal 3.

Penarikan kesimpulan yang terkandung dalam dialog di atas adalah:

P1

Pengambilan rapot tanggal 3, atau pengambilan rapot tanggal 4.

P2

Pengambilan rapot bukan tanggal 4.

K

Pengambilan rapot tanggal 3.

Ini disebut sebagai silogisme disjungtif. Salah satu premisnya menggunakan disjungsi, dan premis yang lain menyangkal/menolak salah satunya. Maka yang harus kita setujui adalah yang satunya lagi.

02a-logika-matematika-inferensia-media-image10-png
Tips mengingat
Tolak satu, pilih yang lain.

Kita juga dapat menunjukkan bahwa silogisme disjungtif benar dengan menurunkannya dari modus ponens.

02a-logika-matematika-inferensia-media-image11-png

Karena bentuk \neg p \Rightarrow q sama dengan p \vee q, maka P1 dapat diganti menjadi p \vee q, dan penarikan kesimpulannya tetap sah.

02a-logika-matematika-inferensia-media-image12-png

Berikutnya: Silogisme hipotetis (SIL)

Ditulis oleh
Ari Prasetyo
Ditulis pada
Terakhir diupdate
Dipublikasikan
Frase kunci
logika inferensia