Metamath Proof Explorer


Syntax definition wa

Description: Extend wff definition to include conjunction ("and").

Ref Expression
Assertion wa wff φ ψ