Question 1
“(~ B ≡ A) ⊃ [~L v (B ∙ A)] , ~ B ≡ A ∴ ~L v (B ∙ A)” is a
◦ modus tollens
◦ modus ponens
◦ contraposition
◦ hypothetical syllogism
◦ disjunctive syllogism
Question 2
“(~ B ⊃ ~ A) ⊃ (B ∙ E), ~ B ⊃ ~A ∴ B ∙ E” is a
◦ modus tollens
◦ modus ponens
◦ contraposition
◦ hypothetical syllogism
◦ disjunctive syllogism