Definition df-vhc3

Description: Definition of a 3-element virtual hypotheses collection. (Contributed by Alan Sare, 13-Jun-2015) (New usage is discouraged.)

	Ref	Expression
Assertion	df-vhc3	$$⊢\left(\phi ,\psi ,\chi \right)\leftrightarrow \left(\phi \wedge \psi \wedge \chi \right)$$

Detailed syntax breakdown

Step	Hyp	Ref	Expression
0		wph	$$wff\phi$$
1		wps	$$wff\psi$$
2		wch	$$wff\chi$$
3	0 1 2	wvhc3	$$wff\left(\phi ,\psi ,\chi \right)$$
4	0 1 2	w3a	$$wff\left(\phi \wedge \psi \wedge \chi \right)$$
5	3 4	wb	$$wff\left(\left(\phi ,\psi ,\chi \right)\leftrightarrow \left(\phi \wedge \psi \wedge \chi \right)\right)$$