Qual operador lógico é unário e inverte o valor lógico de uma proposição?

Negação, \( \neg \)

Explicação:
A negação é um operador lógico unário, atua sobre apenas uma proposição e inverte seu valor lógico, se \(p\) é verdadeira, \( \neg p\) é falsa, e se \(p\) é falsa, \( \neg p\) é verdadeira.

Exemplo:
Se \(p\): "Há luz no cômodo", então \( \neg p\): "Não há luz no cômodo".
Para uma expressão composta, por exemplo \( \neg(p \to q)\), observa-se a inversão do valor lógico da implicação, e vale a equivalência lógica \( \neg(p \to q) \equiv p \land \neg q\).