Cálculo Proposicional De Frege
at
DBpedia LatAm
http://es-la.dbpedia.org/resource/Cálculo_proposicional_de_Frege
Back to Cálculo Proposicional De Frege
dbpedia-owl:
wikiPageWikiLink
dbpedia-latam:
Axiomas
dbpedia-latam:
Categoría:Gottlob_Frege
dbpedia-latam:
Categoría:Lógica_proposicional
dbpedia-latam:
Categoría:Sistemas_lógicos
dbpedia-latam:
Charles_Peirce
dbpedia-latam:
Conectiva_lógica
dbpedia-latam:
Conjunción_lógica
dbpedia-latam:
Conversión
dbpedia-latam:
Cálculo_de_predicados_de_segundo_orden
dbpedia-latam:
Cálculo_proposicional
dbpedia-latam:
Disyunción_lógica
dbpedia-latam:
Forma_lógica
dbpedia-latam:
Fórmula_bien_formada
dbpedia-latam:
Fórmulas_bien_formadas
dbpedia-latam:
Gottlob_Frege
dbpedia-latam:
Implicación
dbpedia-latam:
Lógica_matemática
dbpedia-latam:
Modus_ponendo_ponens
dbpedia-latam:
Principio_de_explosión
dbpedia-latam:
Principio_del_tercero_excluido
dbpedia-latam:
Reducción_al_absurdo
dbpedia-latam:
Regla_de_inferencia
dbpedia-latam:
Reglas_de_inferencia