Doble negación (lógica)

En lógica proposicional, la doble negación es el teorema que afirma que «Si un enunciado es verdadero, entonces no es el caso de que la declaración no es cierta». Esto se expresa diciendo que una proposición A es lógicamente equivalente a no (no-A), o por la fórmula A≡~(~A) donde el signo ≡ expresa equivalencia lógicaSigue leyendo «Doble negación (lógica)»