Assertion: intuitionistic negation | /r/HasProperty | definable
Facets:
value: as \((a \rightarrow
type: OTHER
Source sentences:
text: The intuitionistic negation \(\osim A\) of \(A\) is then definable as \((A \rightarrow \bot\)) and the co-negation \(- A\) of \(A\) as \((\top