Creo que no es un teorema sino un axioma de la lógica proposicional convencional.
Actualizar:
De hecho, esto es lo que dice Wikipedia:
La eliminación doble negativa es un teorema de la lógica clásica, pero no de lógicas más débiles, como la lógica intuicionista y la lógica mínima. Debido a su carácter constructivo, una declaración como No es el caso de que no llueva es más débil que Llueve. El último requiere una prueba de lluvia, mientras que el primero simplemente requiere una prueba de que la lluvia no sería contradictoria. (Esta distinción también surge en el lenguaje natural en forma de litotes). La introducción de la doble negación es un teorema de la lógica intuicionista y la lógica mínima, como es .
Eliminación doble negativa
- ¿Por qué el futuro es impredecible, desde un punto de vista científico (no filosófico o religioso)? Esto no está destinado a compartir experiencias de la vida.
- ¿Es intelectualmente insostenible o irracional creer o decir que la religión y la filosofía no son importantes?
- Cómo emular la actitud de Sherlock Holmes
- Cerebro humano: Me lleva mucho tiempo comprender la lógica en el código o construir sobre cualquier lógica. ¿Hay alguna forma de desarrollar o acelerar el procesamiento de cosas en mi cerebro?
- ¿Cuál es la relación entre las asignaturas de lógica y economía y cómo se utiliza la lógica en la asignatura de economía?