Page 123 - Buku Ajar 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
