About: Lógica matemática

Property	Value
dbo:wikiPageID	123003 (xsd:integer)
dbo:wikiPageRevisionID	68753713 (xsd:integer)
rdf:type	skos:Concept
rdfs:label	Lógica matemática (es) Lógica matemática (es)
skos:broader	category-es:Lógica category-es:Filosofía_de_la_matemática
skos:prefLabel	Lógica matemática (es) Lógica matemática (es)
prov:wasDerivedFrom	wikipedia-es:Categoría:Lógica_matemática?oldid=68753713&ns=14
is dct:subject of	dbpedia-es:Recursión_(ciencias_de_computación) dbpedia-es:Teoría_de_tipos dbpedia-es:Impredicatividad dbpedia-es:Equisatisfactibilidad dbpedia-es:Décimo_problema_de_Hilbert dbpedia-es:Postulado dbpedia-es:Cálculo_lógico dbpedia-es:Jerarquía_analítica dbpedia-es:Equivalencia_lógica dbpedia-es:Aritmética_no_estándar dbpedia-es:Fundamentos_de_las_matemáticas dbpedia-es:Inducción_estructural dbpedia-es:Definición_(matemática) dbpedia-es:Concepto_primitivo dbpedia-es:Contradicción dbpedia-es:Aserción_lógica dbpedia-es:Máquina_oráculo dbpedia-es:Sistema_B,C,K,W dbpedia-es:Lógica_matemática dbpedia-es:Función_beta_de_Gödel dbpedia-es:Semántica_formal dbpedia-es:Teorema_de_los_árboles_de_Kruskal dbpedia-es:Intuicionismo dbpedia-es:Entscheidungsproblem dbpedia-es:Función_indicatriz dbpedia-es:Número_de_Dedekind dbpedia-es:Problema_de_satisfacibilidad_booleana dbpedia-es:Constructivismo_(matemáticas) dbpedia-es:Contraposición_lógica dbpedia-es:Semántica dbpedia-es:Verdad_vacua dbpedia-es:Demostración_en_matemática dbpedia-es:Enumeración dbpedia-es:Forma_normal_algebraica dbpedia-es:Número_hiperreal dbpedia-es:Número_surreal dbpedia-es:Operador dbpedia-es:Sin_pérdida_de_generalidad dbpedia-es:Consistencia_(lógica) dbpedia-es:Leyes_de_De_Morgan dbpedia-es:Programa_de_Hilbert dbpedia-es:Teoría_(lógica) dbpedia-es:Análisis_formal_de_conceptos dbpedia-es:Sobre_proposiciones_formalmente_indeci...a_Mathematica_y_sistemas_relacionados dbpedia-es:Forma_normal_prenexa dbpedia-es:Lema_de_Rasiowa-Sikorski dbpedia-es:Sistema_formal dbpedia-es:Trinquete_(símbolo) dbpedia-es:Lógica_binaria dbpedia-es:Axioma dbpedia-es:Teoría_de_conjuntos dbpedia-es:Juicio_sintético_a_priori dbpedia-es:Association_for_Symbolic_Logic dbpedia-es:Igualdad_matemática dbpedia-es:Sistema_axiomático dbpedia-es:Árbol_semántico dbpedia-es:Aritmética_de_Heyting dbpedia-es:Doble_trinquete dbpedia-es:Función_SSCG_de_Friedman dbpedia-es:Jerarquía_aritmética dbpedia-es:Independencia_(lógica_matemática) dbpedia-es:Problema_indecidible
is skos:broader of	category-es:Lógica_de_predicados category-es:Metalógica category-es:Teoría_de_conjuntos category-es:Computabilidad category-es:Lógica_proposicional category-es:Teoría_de_modelos category-es:Axiomas_matemáticos category-es:Teoremas category-es:Teoría_de_la_demostración category-es:Lógicas_no_clásicas category-es:Sistemas_lógicos category-es:Verificación_de_modelos