logical negation (Q7720): Difference between revisions
Jump to navigation
Jump to search
Created claim: instance of (P2): unary operation (Q1483) |
Created claim: instance of (P2): involution (Q5462) |
||
| Property / instance of | |||
| Property / instance of: involution / rank | |||
Normal rank | |||
Revision as of 17:57, 30 April 2023
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
- negation
- logical complement
- complement
- logical NOT
- NOT operation
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | logical negation |
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 |
|