bn:01456368n
Noun Concept
Categories: Teoremas de la lógica proposicional, Reglas de inferencia
ES
doble negación  eliminación de la doble negación  eliminacion de la doble negacion  eliminacion del negativo doble  eliminación del negativo doble
ES
En lógica proposicional, la doble negación es el teorema que afirma que "Si un enunciado es verdadero, entonces no es el caso que la declaración no es cierta". Wikipedia
Spanish:
lógica
Definitions
Relations
Sources
ES
En lógica proposicional, la doble negación es el teorema que afirma que "Si un enunciado es verdadero, entonces no es el caso que la declaración no es cierta". Wikipedia