Jump to navigation Jump to search
operation that takes a proposition p to another proposition "not p", written ¬p, which is interpreted intuitively as being true when p is false, and false when p is true; unary (single-argument) logical connective
|Subclass of||logical connective,|
negation (truth value)
Media in category "Negation"
This category contains only the following file.
- NOT ANSI.svg 100 × 50; 447 bytes