Syntax definition wo

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

	Ref	Expression
Assertion	wo	wff ( 𝜑 ∨ 𝜓 )