Minimal Negation Operator/Examples/1
Jump to navigation
Jump to search
Example of the Minimal Negation Operator
Let $\nu_k$ denote the minimal negation operator with $k$ arguments.
$\nu_1$ is the same operator as the logical not operator $\neg$:
- $\map {\nu_1} p = \neg p$