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
--Agreed Upon Solutions
The discussion does not exist would you like to add the first comment?