|
Title: (~ B A) [~L v (B A)] , ~ B A ~L v (B A) is a Post by: tifftran on May 12, 2022 “(~ B ≡ A) ⊃ [~L v (B ∙ A)] , ~ B ≡ A ∴ ~L v (B ∙ A)” is a
▸ modus tollens ▸ modus ponens ▸ contraposition ▸ hypothetical syllogism ▸ disjunctive syllogism Title: (~ B A) [~L v (B A)] , ~ B A ~L v (B A) is a Post by: qwasqwas1 on May 12, 2022 Content hidden
|