If φ and ψ are formulas, then (φ → {\displaystyle \rightarrow } ψ) is a formula.
若φ及ψ是公式，則（φ → {\displaystyle \rightarrow } ψ）是公式。