wli - Linear Logic Proof Explorer

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

Syntax Definition wli 61

Description: Linear implication, defined by df-li 62. Now that linear implication exists, we can finally put things in syllogism form from here on.

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

**Assertion**
Ref	Expression
wli	wff (𝜑 ⊸ 𝜓)

See definition df-li 62 for more information.

Colors of variables: wff var nilad

W3C validator