Deducción Natural
at
DBpedia LatAm
http://es-la.dbpedia.org/resource/Deducción_natural
Back to Deducción Natural
dbpedia-owl:
wikiPageWikiLink
dbpedia-latam:
Axioma
dbpedia-latam:
Bicondicional
dbpedia-latam:
Categoría:Lógica
dbpedia-latam:
Categoría:Sistemas_lógicos
dbpedia-latam:
Condicional_material
dbpedia-latam:
Conjunción_lógica
dbpedia-latam:
Conjunto_vacío
dbpedia-latam:
Constante_lógica
dbpedia-latam:
Cuantificador_existencial
dbpedia-latam:
Cuantificador_universal
dbpedia-latam:
Demostración_matemática
dbpedia-latam:
Disyunción_lógica
dbpedia-latam:
Gerhard_Gentzen
dbpedia-latam:
Leyes_de_De_Morgan
dbpedia-latam:
Lógica_de_primer_orden
dbpedia-latam:
Lógica_proposicional
dbpedia-latam:
Modus_ponens
dbpedia-latam:
Negación_lógica
dbpedia-latam:
Quod_erat_demonstrandum
dbpedia-latam:
Reducción_al_absurdo
dbpedia-latam:
Reglas_de_inferencia
dbpedia-latam:
Silogismo_disyuntivo
dbpedia-latam:
Teorema_de_la_deducción
dbpedia-latam:
Teoría_de_la_demostración