Negação pode ser entendido como ato ou efeito de negar aquilo que não se admite como verdadeiro. Em lógica e matemática esse significado de negação é admitido da mesma forma, mas com entendimentos adicionais quando tratamos de conectivos operacionais. Observe a seguinte frase: “Maria comprou uma caneta ou José não foi à escola”. Podemos afirmar que a negação lógica da frase é: