Title: (~ O B) (B v E), (D B) (~ O B) (D B) (BvE) isa Post by: phoebe.lou on May 12, 2022 “(~ O ∙ B) ⊃ (B v E), (D ≡ B) ⊃ (~ O ∙ B) ∴ (D ≡ B) ⊃ (BvE)” isa
▸ modus tollens ▸ modus ponens ▸ contraposition ▸ hypothetical syllogism ▸ disjunctive syllogism Title: (~ O B) (B v E), (D B) (~ O B) (D B) (BvE) isa Post by: bwhurd on May 12, 2022 Content hidden
|