weqfal - Linear Logic Proof Explorer

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

Syntax Definition weqfal 302

Description: Falsity judgement.

**Hypothesis**
Ref	Expression
np	nilad P

**Assertion**
Ref	Expression
weqfal	wff ⊭ P

See definition df-eqfal 304 for more information.

Colors of variables: wff var nilad