Page 115 - Buku Ajar Pengantar Dasar Matematika (Penulis: Sari Herlina, M.Pd dan Ahmad Zamsuri, M.Kom)

~
∴ ~
3) Simplifikasi (Simp)
∧
∴
atau
∧
∴
4) Konjungsi (Konj)

∴ ∧
5) Hypothetical Syllogism (HS)
→
→
∴ →
6) Disjunctive Syllogism (DS)
∨
~
∴
atau
∨
~
∴
7) Addition (Add)

∴ ∨
atau

111 Buku Ajar Pengantar Dasar Matematika