Axiom ax-eac2 34

Description: & elimination rule, right hand side.

Hypothesis

Ref	Expression
ax-eac2.1	⊦ (~ 𝜑 ⅋ (𝜓 & 𝜒))

Assertion

Ref	Expression
ax-eac2	⊦ (~ 𝜑 ⅋ 𝜒)

Detailed syntax breakdown of Axiom ax-eac2

Step	Hyp	Ref	Expression
1		wph	. . 3 wff 𝜑
2	1	wneg 3	. 2 wff ~ 𝜑
3		wch	. 2 wff 𝜒
4	2, 3	wmd 2	1 wff (~ 𝜑 ⅋ 𝜒)

This axiom is referenced by:  eac2d  39  eac2i  40  lbi2s  88  lbsymd  102