¬_

Grammatical restrictions:

Argument Position Prohibited Expression
Argument 1 _∧_
_∨_
_⊕_
_`↑_
_↓_
_→_
_←_
_↔_
_↛_
_↚_
_=_
_≠_

Definitions:

false's type
Source: /avail/Avail/Foundation/Early Logic
Categories: Logic
Compute and answer the logical negation, i.e., NOT, of the argument.
Position Name Type Description
Parameters
1 predicate false's type A boolean.
Returns true's type ¬{@method predicate }.
boolean
Source: /avail/Avail/Foundation/Early Logic
Categories: Logic
Compute and answer the logical negation, i.e., NOT, of the argument.
Position Name Type Description
Parameters
1 predicate boolean A boolean.
Returns boolean ¬{@method predicate }.