wor - Linear Logic Proof Explorer

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

Syntax Definition wor 184

Description: Logical disjunction. Defined by df-or 185.

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

**Assertion**
Ref	Expression
wor	wff (𝜑 ∨ 𝜓)

See definition df-or 185 for more information.

Colors of variables: wff var nilad