Relativización de formulas y consistencia

• Autores: José M. Muñoz Quevedo
• Localización: Boletín de matemáticas, ISSN 0120-0380, ISSN-e 2357-6529, Vol. 19, Nº. 2, 1985, págs. 107-118
• Idioma: español
• Enlaces
  • Texto completo (pdf)
• Resumen

  • El presente artículo tiene como fin mostrar que el problema de la consistencia de una sentencia, relativamente a la consistencia de otro conjunto de sentencias, puede resolverse en muchos casos mediante un procedimiento puramente sintáctico, aceptado universalmente, independiente de modelos e interpretaciones, y el cual tiene lugar dentro de prácticamente cualquier sistema de deducción formal de un cálculo de predicados. Las ideas fundamentales descansan en la propiedad de la preservación de la deducción formal por la relativización, cuya de mostración, bastante técnica pero elemental, ha sido desarrollada en detalle por el autor