Title: (A B) (B A), (A B) (A B) (A B) (B A) isa Post by: mars03 on May 12, 2022 “(A ∙ B) ⊃ (B ⊃ A), (A ≡ B) ⊃ (A ∙ B) ∴ (A ≡ B) ⊃ (B ⊃ A)” isa
▸ modus tollens ▸ modus ponens ▸ contraposition ▸ hypothetical syllogism ▸ disjunctive syllogism Title: (A B) (B A), (A B) (A B) (A B) (B A) isa Post by: goodone14 on May 12, 2022 Content hidden
|