Page 116 - Buku Ajar Pengantar Dasar Matematika (Penulis: Sari Herlina, M.Pd dan Ahmad Zamsuri, M.Kom)
P. 116
∴ ∨
8) Constructive Dilemma (CD)
→
→
∨
∴ ∨
9) Destructive Dilemma (DD)
→
→
~ ∨ ~
∴ ~ ∨ ~
Beberapa contoh dan pembuktian argumen-argurmen
di atas dijabarkan berikut ini. Argumen-argumen yang
belum dibuktikan silahkan dicoba sebagai latihan.
a. Modus Ponen (MP)
→
∴
Contoh
Jika 10 habis dibagi 2, maka 10 adalah bilangan genap.
10 habis dibagi 2.
Kedua premis bernilai benar, maka menurut modus
pones penarikan kesimpulannya:
Jika 10 habis dibagi dua, maka 10 adalah bilangan genap.
10 habis dibagi 2.
Jadi, 10 adalah bilangan genap
Buku Ajar Pengantar Dasar Matematika 112
