wad - Linear Logic Proof Explorer

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

Syntax Definition wad 131

Description: Plus, additive disjunction. Defined by df-ad 132.

**Hypotheses**
Ref	Expression
wph	wff 𝜑
wps	wff 𝜓

**Assertion**
Ref	Expression
wad	wff (𝜑 ⊕ 𝜓)

See definition df-ad 132 for more information.

Colors of variables: wff var nilad