wnot - Linear Logic Proof Explorer

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

Syntax Definition wnot 186

Description: Logical negation. Defined by df-not 187.

**Hypothesis**
Ref	Expression
wph	wff 𝜑

**Assertion**
Ref	Expression
wnot	wff ¬ 𝜑

See definition df-not 187 for more information.

Colors of variables: wff var nilad