Metamath Proof Explorer


Syntax definition wxo

Description: Extend wff definition to include exclusive disjunction ("xor").

Ref Expression
Assertion wxo wff φ ψ