nlimpl - Linear Logic Proof Explorer

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

Syntax Definition nlimpl 308

Description: Function representing logical implication.

**Assertion**
Ref	Expression
nlimpl	nilad Impl

See definition df-limpl 313 for more information.

Colors of variables: wff var nilad