Syntax Definition wneg 3

Description: Linear negation. For any statement 𝜑, ~ 𝜑 is its dual. In the resource interpretation, this represents demand for something (sort of kind of). Combining 𝜑 and ~ 𝜑 yields ⊥.

Hypothesis

Ref	Expression
wph	wff 𝜑

Assertion

Ref	Expression
wneg	wff ~ 𝜑

This syntax is primitive. The first axiom using it is ax-init 7.