2.1 Conectores Lógicos: Negador

Se representa con este símbolo “¬”, y produce fórmulas del tipo “¬ p”, “no es cierto que p”, “no es p”, “es imposible que p”, etc.

Por definición el negador es aquella conectiva que invierte el valor de verdad de una proposición, es decir, la convierte en verdadera si es falsa, y en falsa si es verdadera. Esto se representa con la siguiente tabla de verdad: