Definition:Unary Logical Connective