wim - Linear Logic Proof Explorer

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

Syntax Definition wim 180

Description: Logical implication. Defined by df-im 181.

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

**Assertion**
Ref	Expression
wim	wff (𝜑 → 𝜓)

See definition df-im 181 for more information.

Colors of variables: wff var nilad