La topología en la lógica: el teorema de compacidad

Queremos primero presentar el Teorema de compacidad de la lógica proposicional. Paralelamente introduciremos algunas de las ideas elemental es de la lógica. Posteriormente demostraremos el teorema usando herramientas de topología. Deseamos, de esta manera, ilustrar la unicidad de la matemática.

Autores:
Mariño, Rafael
Tipo de recurso:
Article of journal
Fecha de publicación:
1974
Institución:
Universidad Nacional de Colombia
Repositorio:
Universidad Nacional de Colombia
Idioma:
spa
OAI Identifier:
oai:repositorio.unal.edu.co:unal/44494
Acceso en línea:
https://repositorio.unal.edu.co/handle/unal/44494
http://bdigital.unal.edu.co/34593/
Palabra clave:
Teorema de compacidad
lógica proposicional
herramientas de topología
Rights
openAccess
License
Atribución-NoComercial 4.0 Internacional