Revision as of 17:57, 30 April 2023 by Fire(talk | contribs)(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)