Doble negación, regla de la

Doble negación, regla de la. Si un enunciado es de la forma siguiente `es falso que hoy no sea domingo' es equivalente a afirmar `hoy es domingo' porque la primera fórmula niega el enunciado 'hoy no es domingo' por lo tanto `hoy es domingo' es una afirmación verdadera.  En cuando a las proposiciones una doble negación [- - p ] equivale a la afirmación afirmada [ p ].  Si el número de negaciones es par, la fórmula puede afirmarse sin negación alguna; y si es non, es equivalente a la proposición con una sóla negación. Así, el enunciado `es falso, no es cierto que hoy no sea domingo' `es falso' niega la verdad de `no es cierto' quien a su vez niega que no sea domingo, Pero como la expresión `es falso' ha determinado la falsedad de `no es cierto', entonces `hoy no es domingo' es un enunciado verdadero. La fórmula [v. fórmula bien formada] - - - p  es equivalente a  - p.