Definition df-vhc3 42162

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

Assertion

Ref	Expression
df-vhc3	⊢ ((   𝜑   ,   𝜓   ,   𝜒   ) ↔ (𝜑 ∧ 𝜓 ∧ 𝜒))

Detailed syntax breakdown of Definition df-vhc3

Step	Hyp	Ref	Expression
1		wph	. . 3 wff 𝜑
2		wps	. . 3 wff 𝜓
3		wch	. . 3 wff 𝜒
4	1, 2, 3	wvhc3 42161	. 2 wff (   𝜑   ,   𝜓   ,   𝜒   )
5	1, 2, 3	w3a 1085	. 2 wff (𝜑 ∧ 𝜓 ∧ 𝜒)
6	4, 5	wb 205	1 wff ((   𝜑   ,   𝜓   ,   𝜒   ) ↔ (𝜑 ∧ 𝜓 ∧ 𝜒))

This definition is referenced by:  dfvd3an  42167