Page 123 - Buku Pengantar Dasar Matematika (Penulis Sari Herlina M.Pd dan Ahmad Zamsuri, M.Kom)
P. 123
Rangkuman
1. Argumen adalah rangkaian dari pernyataan majemuk
yang mempunyai ungkapan pernyataan penarikan
kesimpulan. Suatu argumen dikatakan valid apabila
penarikan kesimpulan dari premis-premisnya merupakan
tautologi.
2. Aturan-aturan penarikan kesimpulan berikut:
1) Modus Ponen (MP)
→
∴
2) Modus Tollen (MT)
→
~
∴ ~
3) Simplifikasi (Simp)
∧
∴
atau
∧
∴
4) Konjungsi (Konj)
∴ ∧
5) Hypothetical Syllogism (HS)
→
→
119 Buku Ajar Pengantar Dasar Matematika
