Page 117 - Buku Ajar Pengantar Dasar Matematika (Penulis: Sari Herlina, M.Pd dan Ahmad Zamsuri, M.Kom)
P. 117
Pembuktian validitas argumennya dapat dilihat
dalam tabel berikut:
[( → ) ˄ ] →
B B B B B B B
B S S S B B S
S B B S S B B
S B S S S B S
Jadi, nilai kebenarannya berbentuk tautologi, sehingga
modus ponen merupakan argumen yang valid.
b. Simplifikasi (Simp)
∧
∴
atau
∧
∴
Contoh penarikan kesimpulan simplifikasi adalah sebagai
berikut:
Fawwaz adalah Mahasiswa Kairo Mesir dan Mahasiswa
Universitas Islam Riau. Jadi, Fawwaz adalah mahasiswa
Kairo Mesir.
Dengan memakai cara yang sama untuk aturan
simplifikasi, sehingga bentuk lainnya dapat ditulis:
Fawwaz adalah Mahasiswa Kairo Mesir dan Mahasiswa
Universitas Islam Riau. Jadi, Fawwaz adalah mahasiswa
Universitas Islam Riau.
113 Buku Ajar Pengantar Dasar Matematika
