Syntax definition wnan

Description: Extend wff definition to include alternative denial ("nand").

	Ref	Expression
Assertion	wnan	wff ( 𝜑 ⊼ 𝜓 )