Metamath Proof Explorer


Syntax definition w3a

Description: Extend wff definition to include three-way conjunction ('and').

Ref Expression
Assertion w3a wff φ ψ χ