Definition:Unary Logical Connective
From ProofWiki
Definition
A unary logical connective (or one-place connective) is a connective whose effect on its compound statement is determined by the truth value of one substatement.
There are four of these, the only non-trivial one being not, or Negation.