Question 1
“(A ∙ B) ⊃ (B ⊃ A), (A ≡ B) ⊃ (A ∙ B) ∴ (A ≡ B) ⊃ (B ⊃ A)” isa
◦ modus tollens
◦ modus ponens
◦ contraposition
◦ hypothetical syllogism
◦ disjunctive syllogism
Question 2
“(D ∙ C) v ~(M ⊃ ~ D), M ⊃ ~D ∴ D ∙ C” is a
◦ modus tollens
◦ modus ponens
◦ contraposition
◦ hypothetical syllogism
◦ disjunctive syllogism