bn:03095346n
Noun Concept
Categories: Teoremas de la lógica proposicional, Reglas de inferencia
ES
doble negación  doble negacion
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 de 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 de que la declaración no es cierta". Wikipedia
Un teorema de lógica. Wikipedia Disambiguation
Wikidata
Wikidata Alias
Wikipedia Translations