nlnot - Linear Logic Proof Explorer

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

Syntax Definition nlnot 311

Description: Function representing logical negation.

**Assertion**
Ref	Expression
nlnot	nilad Not

See definition df-lnot 316 for more information.

Colors of variables: wff var nilad