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