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
id UNACIONAL2_da0163586b0102087ecd572896263723
oai_identifier_str oai:repositorio.unal.edu.co:unal/44494
network_acronym_str UNACIONAL2
network_name_str Universidad Nacional de Colombia
repository_id_str
spelling Atribución-NoComercial 4.0 InternacionalDerechos reservados - Universidad Nacional de Colombiahttp://creativecommons.org/licenses/by-nc/4.0/info:eu-repo/semantics/openAccesshttp://purl.org/coar/access_right/c_abf2Mariño, Rafael7b801a8d-a1b7-426a-ae59-8ecc33fa86983002019-06-28T13:38:26Z2019-06-28T13:38:26Z1974https://repositorio.unal.edu.co/handle/unal/44494http://bdigital.unal.edu.co/34593/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.application/pdfspaBoletín de Matemáticashttp://revistas.unal.edu.co/index.php/bolma/article/view/34772Universidad Nacional de Colombia Revistas electrónicas UN Boletín de MatemáticasBoletín de MatemáticasBoletín de Matemáticas; Vol. 8, núm. 1-6 (1974); 89-94 Boletín de Matemáticas; Vol. 8, núm. 1-6 (1974); 89-94 2357-6529 0120-0380Mariño, Rafael (1974) La topología en la lógica: el teorema de compacidad. Boletín de Matemáticas; Vol. 8, núm. 1-6 (1974); 89-94 Boletín de Matemáticas; Vol. 8, núm. 1-6 (1974); 89-94 2357-6529 0120-0380 .La topología en la lógica: el teorema de compacidadArtículo de revistainfo:eu-repo/semantics/articleinfo:eu-repo/semantics/publishedVersionhttp://purl.org/coar/resource_type/c_6501http://purl.org/coar/resource_type/c_2df8fbb1http://purl.org/coar/version/c_970fb48d4fbd8a85Texthttp://purl.org/redcol/resource_type/ARTTeorema de compacidadlógica proposicionalherramientas de topologíaORIGINAL34772-135379-1-PB.pdfapplication/pdf1997469https://repositorio.unal.edu.co/bitstream/unal/44494/1/34772-135379-1-PB.pdf8fc6e852e8b9d80fd1b143df08db1a2aMD51THUMBNAIL34772-135379-1-PB.pdf.jpg34772-135379-1-PB.pdf.jpgGenerated Thumbnailimage/jpeg6014https://repositorio.unal.edu.co/bitstream/unal/44494/2/34772-135379-1-PB.pdf.jpg304133bb915fb6da2e93f33fae501769MD52unal/44494oai:repositorio.unal.edu.co:unal/444942023-02-17 23:04:55.766Repositorio Institucional Universidad Nacional de Colombiarepositorio_nal@unal.edu.co
dc.title.spa.fl_str_mv La topología en la lógica: el teorema de compacidad
title La topología en la lógica: el teorema de compacidad
spellingShingle La topología en la lógica: el teorema de compacidad
Teorema de compacidad
lógica proposicional
herramientas de topología
title_short La topología en la lógica: el teorema de compacidad
title_full La topología en la lógica: el teorema de compacidad
title_fullStr La topología en la lógica: el teorema de compacidad
title_full_unstemmed La topología en la lógica: el teorema de compacidad
title_sort La topología en la lógica: el teorema de compacidad
dc.creator.fl_str_mv Mariño, Rafael
dc.contributor.author.spa.fl_str_mv Mariño, Rafael
dc.subject.proposal.spa.fl_str_mv Teorema de compacidad
lógica proposicional
herramientas de topología
topic Teorema de compacidad
lógica proposicional
herramientas de topología
description 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.
publishDate 1974
dc.date.issued.spa.fl_str_mv 1974
dc.date.accessioned.spa.fl_str_mv 2019-06-28T13:38:26Z
dc.date.available.spa.fl_str_mv 2019-06-28T13:38:26Z
dc.type.spa.fl_str_mv Artículo de revista
dc.type.coar.fl_str_mv http://purl.org/coar/resource_type/c_2df8fbb1
dc.type.driver.spa.fl_str_mv info:eu-repo/semantics/article
dc.type.version.spa.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.coar.spa.fl_str_mv http://purl.org/coar/resource_type/c_6501
dc.type.coarversion.spa.fl_str_mv http://purl.org/coar/version/c_970fb48d4fbd8a85
dc.type.content.spa.fl_str_mv Text
dc.type.redcol.spa.fl_str_mv http://purl.org/redcol/resource_type/ART
format http://purl.org/coar/resource_type/c_6501
status_str publishedVersion
dc.identifier.uri.none.fl_str_mv https://repositorio.unal.edu.co/handle/unal/44494
dc.identifier.eprints.spa.fl_str_mv http://bdigital.unal.edu.co/34593/
url https://repositorio.unal.edu.co/handle/unal/44494
http://bdigital.unal.edu.co/34593/
dc.language.iso.spa.fl_str_mv spa
language spa
dc.relation.spa.fl_str_mv http://revistas.unal.edu.co/index.php/bolma/article/view/34772
dc.relation.ispartof.spa.fl_str_mv Universidad Nacional de Colombia Revistas electrónicas UN Boletín de Matemáticas
Boletín de Matemáticas
dc.relation.ispartofseries.none.fl_str_mv Boletín de Matemáticas; Vol. 8, núm. 1-6 (1974); 89-94 Boletín de Matemáticas; Vol. 8, núm. 1-6 (1974); 89-94 2357-6529 0120-0380
dc.relation.references.spa.fl_str_mv Mariño, Rafael (1974) La topología en la lógica: el teorema de compacidad. Boletín de Matemáticas; Vol. 8, núm. 1-6 (1974); 89-94 Boletín de Matemáticas; Vol. 8, núm. 1-6 (1974); 89-94 2357-6529 0120-0380 .
dc.rights.spa.fl_str_mv Derechos reservados - Universidad Nacional de Colombia
dc.rights.coar.fl_str_mv http://purl.org/coar/access_right/c_abf2
dc.rights.license.spa.fl_str_mv Atribución-NoComercial 4.0 Internacional
dc.rights.uri.spa.fl_str_mv http://creativecommons.org/licenses/by-nc/4.0/
dc.rights.accessrights.spa.fl_str_mv info:eu-repo/semantics/openAccess
rights_invalid_str_mv Atribución-NoComercial 4.0 Internacional
Derechos reservados - Universidad Nacional de Colombia
http://creativecommons.org/licenses/by-nc/4.0/
http://purl.org/coar/access_right/c_abf2
eu_rights_str_mv openAccess
dc.format.mimetype.spa.fl_str_mv application/pdf
dc.publisher.spa.fl_str_mv Boletín de Matemáticas
institution Universidad Nacional de Colombia
bitstream.url.fl_str_mv https://repositorio.unal.edu.co/bitstream/unal/44494/1/34772-135379-1-PB.pdf
https://repositorio.unal.edu.co/bitstream/unal/44494/2/34772-135379-1-PB.pdf.jpg
bitstream.checksum.fl_str_mv 8fc6e852e8b9d80fd1b143df08db1a2a
304133bb915fb6da2e93f33fae501769
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
repository.name.fl_str_mv Repositorio Institucional Universidad Nacional de Colombia
repository.mail.fl_str_mv repositorio_nal@unal.edu.co
_version_ 1806886531262054400

Publicaciones similares