Quando temos uma proposição do tipo:
p = Vou à praia
Podemos negar essa proposição usando os símbolos til ($\style{font-size:16px;}{\thicksim}$) ou cantoneira (¬):
$\style{font-size:16px;}{\thicksim}$p = ¬p = Não p = Não vou à praia
Podemos também negar uma proposição que contém outro operador. Para fazer isso, na tabela-verdade, basta inverter o V pelo F e vice-versa. Veja um exemplo: