Syntax definition w3a

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

	Ref	Expression
Assertion	w3a	wff ( 𝜑 ∧ 𝜓 ∧ 𝜒 )