Syntax definition wvd2

Description: Syntax for a 2-hypothesis virtual deduction. (New usage is discouraged.)

	Ref	Expression
Assertion	wvd2	$$wff\left(\phi ,\psi \to \chi \right)$$