~ ∴ ~ 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