Hypothetical_Syllogism_v2
Provedproofwikiretry
If p implies q and q implies r, then p implies r.
Formal statement
theorem Hypothetical_Syllogism_v2 (p q r : Prop) : (p → q) → (q → r) → (p → r) := by sorry
If p implies q and q implies r, then p implies r.
theorem Hypothetical_Syllogism_v2 (p q r : Prop) : (p → q) → (q → r) → (p → r) := by sorry