Syntax Definition wff-imp 10

Description: If '𝜑' and '𝜓' are well formed formulas, then '(𝜑 → 𝜓)' is a well formed formula.

Hypotheses

Ref	Expression
wff-ph	wff 𝜑
wff-ps	wff 𝜓

Assertion

Ref	Expression
wff-imp	wff (𝜑 → 𝜓)

This syntax is primitive. The first axiom using it is ax-L1 11.