• Suatu argumen yang mempunyai dua pernyataan
atau lebih, jika pembuktiannya dengan
menggunakan tabel kebenaran, maka cara
kerjanya panjang dan sering membosankan.
• Ada cara singkat, langsung dan tepat, yakni
dengan menurunkan konklusi dari premispremisnya dengan menggunakan rentetan
argumen elementer yang sudah diketahui valid.
• Setiap substitution instance dari bentuk argumen
elementer yang valid merupakan argumen yang
valid pula
Contoh
• Perhatikan argumen berikut ;
A B
A
B
Argumen ini merupakan argumen yang valid, sebab
merupakan substitution instance dari argumen elementer
yang valid berikut ;
p q
pq
Dengan cara mensubstitusi A dengan p dan B dengan q
Macam-macam Penarikan Kesimpulan
1. Modus Ponen
2. Modus Tollen
3. Simplifikasi
4. Konjungsi
5. Hypothetical Syllogism
6. Disjunctive Syllogism
7. Constructive Dilemma
8. Destructive Dilemma
9. Addition
1. Modus Ponen
Bentuk penarikan kesimpulannya adalah ;
p q
p
q
2. Modus Tollen
Bentuk penarikan kesimpulannya adalah ;
p q
q
p
3. Simplifikasi
Bentuk penarikan kesimpulannya adalah ;
p q
p r
q
4. Konjungsi
Komentar
Posting Komentar