Minimal Negation Operator/Examples/0
Jump to navigation
Jump to search
Example of the Minimal Negation Operator
Let $\nu_k$ denote the minimal negation operator with $k$ arguments.
$\nu_0$ is the false constant, or the contradiction operator $\bot$:
- $\nu_0 = \bot$