Question 1
“(~ O ∙ B) ⊃ (B v E), (D ≡ B) ⊃ (~ O ∙ B) ∴ (D ≡ B) ⊃ (BvE)” isa
◦ modus tollens
◦ modus ponens
◦ contraposition
◦ hypothetical syllogism
◦ disjunctive syllogism
Question 2
“(~A ∙ H) v ~ ( H ⊃ ~D), H ⊃ ~D ∴ ~A ∙ H” isa
◦ modus tollens
◦ modus ponens
◦ contraposition
◦ hypothetical syllogism
◦ disjunctive syllogism