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
|Instance of||logical connective|
|Subclass of||negation (truth value)|
This category has only the following subcategory.
- ► Complement (set theory) (14 F)
Media in category "Negation"
The following 3 files are in this category, out of 3 total.
- Negace.png 71 × 94; 844 bytes
- NOT ANSI.svg 100 × 50; 447 bytes
- Set partitions with complement relation between blocks.svg 853 × 1,291; 728 KB