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
 
Property / instance of
 
Property / instance of: logical connective / rank
 
Normal rank