Theorem sylt-P1.9 61

Description: Closed Form of Syllogism.

Assertion

Ref	Expression
sylt-P1.9	⊢ ((𝜑 → 𝜓) → ((𝜓 → 𝜒) → (𝜑 → 𝜒)))

Proof of Theorem sylt-P1.9

Step	Hyp	Ref	Expression
1		imsubl-P1.7b 54	1 ⊢ ((𝜑 → 𝜓) → ((𝜓 → 𝜒) → (𝜑 → 𝜒)))

Syntax hints:   → wff-imp 10

This theorem was proved from axioms:  ax-L1 11  ax-L2 12  ax-MP 14

This theorem is referenced by:  sylt-P1.9.AC.2SH  62  sylt-P1.9.2AC.2SH  63