Page 127 - Buku Ajar Pengantar Dasar Matematika (Penulis: Sari Herlina, M.Pd dan Ahmad Zamsuri, M.Kom)
P. 127
aturan Exportation (Exp) kita dapat mengubah bentuk (a)
menjadi bentuk berikut:
(b) ( ∧ ) →
Pernyataan (b) juga merupakan pernyataan yang valid.
Sehingga karena kedua argumen (a) dan (b) valid,
memungkinkan untuk menarik kesimpulan validitas dari
argumen di atas. Dapat kita tulis:
∴ →
Dari pembuktian validitas sebelumnya bentuk argumen
dapat ditulis
∴
Jadi, semua konklusi suatu argumen berbentuk
implikasi maka pembuktian validitasnya dapat
menggunakan aturan Conditional Proof (CP). Dalam
pembuktian (CP), menganggp antiseden dan konklusinya
sebagai tambahan premis, lalu menyimpulkan konsekuen
sebagai konklusi dari rangkaian argumen-argumen yang
valid.
Contoh:
1. →
2. → /∴ ( ∨ ) →
3. ( ∨ ) /∴
4. ( → ) ∧ ( → ) 1,2 Konj
5. ∨ 4,3 CD
6. 5 Taut
123 Buku Ajar Pengantar Dasar Matematika
