Syntax definition wredundp

Description: Extend wff definition to include the redundancy operator for propositions.

	Ref	Expression
Assertion	wredundp	$$wffredund\left(\phi ,\psi ,\chi \right)$$