Na lógica, a partir de uma proposição p qualquer, sempre podemos construir outra denominada de negação de p, que é indicada pelo símbolo ~p, ainda, mesmo que tenhamos uma proposição composta, também podemos obter sua negação. Tendo em vista o exposto, à negação da proposição composta p ^ q é: