nfal - Linear Logic Proof Explorer

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

Syntax Definition nfal 298

Description: Function representing falsity.

**Assertion**
Ref	Expression
nfal	nilad False

See definition df-fal 300 for more information.

Colors of variables: wff var nilad