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
| Summary: | 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. |
|---|