Syntax definition cpropneg

Description: The negation of a sentence of propositional calculus.

	Ref	Expression
Assertion	cpropneg	class prop¬