A logical symbol that operates on a statement, the result of which, in combination with the statement’s truth value, makes the statement true or false.