A logical connective with just one operand. When applied to a statement, truth value, or formula P, the outcome is false if P is true, and vice versa, i.e. it produces a negation. It can be denoted in a variety of ways, e.g.