wex - Linear Logic Proof Explorer

	Linear Logic Proof Explorer	< Previous Next > Nearby theorems
Mirrors > Home > LLPE Home > Th. List > wex		Structured version

Syntax Definition wex 319

Description: Existential quantifier. Defined by df-ex 334.

**Hypotheses**
Ref	Expression
wph	wff 𝜑
vx	var x

**Assertion**
Ref	Expression
wex	wff ∃x𝜑

See definition df-ex 334 for more information.

Colors of variables: wff var nilad