Relativización de formulas y consistencia
Palabras clave:
Conjunto de sentencias, cálculo de predicados, axiomas, teorema de la deducción (es)Descargas
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
Cómo citar
APA
Muñoz Q., J. M. (1985). Relativización de formulas y consistencia. Boletín de Matemáticas, 19(2), 107–118. https://revistas.unal.edu.co/index.php/bolma/article/view/34467
ACM
[1]
Muñoz Q., J.M. 1985. Relativización de formulas y consistencia. Boletín de Matemáticas. 19, 2 (may 1985), 107–118.
ACS
(1)
Muñoz Q., J. M. Relativización de formulas y consistencia. Bol. Mat. 1985, 19, 107-118.
ABNT
MUÑOZ Q., J. M. Relativización de formulas y consistencia. Boletín de Matemáticas, [S. l.], v. 19, n. 2, p. 107–118, 1985. Disponível em: https://revistas.unal.edu.co/index.php/bolma/article/view/34467. Acesso em: 19 abr. 2024.
Chicago
Muñoz Q., José M. 1985. «Relativización de formulas y consistencia». Boletín De Matemáticas 19 (2):107-18. https://revistas.unal.edu.co/index.php/bolma/article/view/34467.
Harvard
Muñoz Q., J. M. (1985) «Relativización de formulas y consistencia», Boletín de Matemáticas, 19(2), pp. 107–118. Disponible en: https://revistas.unal.edu.co/index.php/bolma/article/view/34467 (Accedido: 19 abril 2024).
IEEE
[1]
J. M. Muñoz Q., «Relativización de formulas y consistencia», Bol. Mat., vol. 19, n.º 2, pp. 107–118, may 1985.
MLA
Muñoz Q., J. M. «Relativización de formulas y consistencia». Boletín de Matemáticas, vol. 19, n.º 2, mayo de 1985, pp. 107-18, https://revistas.unal.edu.co/index.php/bolma/article/view/34467.
Turabian
Muñoz Q., José M. «Relativización de formulas y consistencia». Boletín de Matemáticas 19, no. 2 (mayo 1, 1985): 107–118. Accedido abril 19, 2024. https://revistas.unal.edu.co/index.php/bolma/article/view/34467.
Vancouver
1.
Muñoz Q. JM. Relativización de formulas y consistencia. Bol. Mat. [Internet]. 1 de mayo de 1985 [citado 19 de abril de 2024];19(2):107-18. Disponible en: https://revistas.unal.edu.co/index.php/bolma/article/view/34467
Descargar cita
Visitas a la página del resumen del artículo
228
Descargas
Los datos de descargas todavía no están disponibles.
Licencia
Derechos de autor 1985 Boletín de Matemáticas
Esta obra está bajo una licencia internacional Creative Commons Atribución 4.0.