Item:Q7720: Difference between revisions
Created a new Item: 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 |
Created claim: has quality (P14): change (Q529) |
||
| (4 intermediate revisions by the same user not shown) | |||
| Property / instance of | |||
| Property / instance of: logical connective / rank | |||
Normal rank | |||
| Property / instance of | |||
| Property / instance of: unary operation / rank | |||
Normal rank | |||
| Property / instance of | |||
| Property / instance of: involution / rank | |||
Normal rank | |||
| Property / subclass of | |||
| Property / subclass of: negation / rank | |||
Normal rank | |||
| Property / subclass of: negation / qualifier | |||
| Property / has quality | |||
| Property / has quality: change / rank | |||
Normal rank | |||