Eliminación De La Doble Negación
at
DBpedia LatAm
http://es-la.dbpedia.org/resource/Eliminación_de_la_doble_negación
Back to Eliminación De La Doble Negación
dbpedia-owl:
wikiPageWikiLink
dbpedia-latam:
Categoría:Reglas_de_inferencia
dbpedia-latam:
Categoría:Teoremas_de_la_lógica_proposicional
dbpedia-latam:
Complemento_de_un_conjunto
dbpedia-latam:
Consecuente
dbpedia-latam:
Conversión_lógica
dbpedia-latam:
Fórmula_bien_formada
dbpedia-latam:
Inferencia
dbpedia-latam:
Litote
dbpedia-latam:
Lógica_clásica
dbpedia-latam:
Lógica_intuicionista
dbpedia-latam:
Lógica_minimalista
dbpedia-latam:
Lógica_proposicional
dbpedia-latam:
Metalógica
dbpedia-latam:
Negación_lógica
dbpedia-latam:
Prueba_lógica
dbpedia-latam:
Regla_de_inferencia
dbpedia-latam:
Regla_de_reemplazo
dbpedia-latam:
Tautología
dbpedia-latam:
Teoría_de_conjuntos
dbpedia-latam:
Traducción_de_la_doble_negación
dbpedia-latam:
Validez_lógica
dbpedia-latam:
Valor_de_verdad