Cálculo de secuentes y gráficos existenciales Alfa, dos estructuras equivalentes para la lógica proposicional
53 Páginas
- Autores:
-
Fuentes Guzmán, Daniel Camilo
- Tipo de recurso:
- Fecha de publicación:
- 2014
- Institución:
- Universidad del Tolima
- Repositorio:
- RIUT: Repositorio U. Tolima
- Idioma:
- spa
- OAI Identifier:
- oai:repository.ut.edu.co:001/1172
- Acceso en línea:
- https://repository.ut.edu.co/handle/001/1172
- Palabra clave:
- Secuentes
Gráficos existenciales Alfa
Lógica proposicional
- Rights
- License
- Atribución-NoComercial-CompartirIgual 2.5 Colombia (CC BY-NC-SA 2-5 CO)
| id |
UTOLIMA2_81ee222aa54c8d5793999860f96ee256 |
|---|---|
| oai_identifier_str |
oai:repository.ut.edu.co:001/1172 |
| network_acronym_str |
UTOLIMA2 |
| network_name_str |
RIUT: Repositorio U. Tolima |
| repository_id_str |
|
| dc.title.spa.fl_str_mv |
Cálculo de secuentes y gráficos existenciales Alfa, dos estructuras equivalentes para la lógica proposicional |
| title |
Cálculo de secuentes y gráficos existenciales Alfa, dos estructuras equivalentes para la lógica proposicional |
| spellingShingle |
Cálculo de secuentes y gráficos existenciales Alfa, dos estructuras equivalentes para la lógica proposicional Secuentes Gráficos existenciales Alfa Lógica proposicional |
| title_short |
Cálculo de secuentes y gráficos existenciales Alfa, dos estructuras equivalentes para la lógica proposicional |
| title_full |
Cálculo de secuentes y gráficos existenciales Alfa, dos estructuras equivalentes para la lógica proposicional |
| title_fullStr |
Cálculo de secuentes y gráficos existenciales Alfa, dos estructuras equivalentes para la lógica proposicional |
| title_full_unstemmed |
Cálculo de secuentes y gráficos existenciales Alfa, dos estructuras equivalentes para la lógica proposicional |
| title_sort |
Cálculo de secuentes y gráficos existenciales Alfa, dos estructuras equivalentes para la lógica proposicional |
| dc.creator.fl_str_mv |
Fuentes Guzmán, Daniel Camilo |
| dc.contributor.author.spa.fl_str_mv |
Fuentes Guzmán, Daniel Camilo |
| dc.subject.spa.fl_str_mv |
Secuentes Gráficos existenciales Alfa Lógica proposicional |
| topic |
Secuentes Gráficos existenciales Alfa Lógica proposicional |
| description |
53 Páginas |
| publishDate |
2014 |
| dc.date.accessioned.none.fl_str_mv |
2014-10-01T13:44:58Z |
| dc.date.available.none.fl_str_mv |
2014-10-01T13:44:58Z |
| dc.date.issued.none.fl_str_mv |
2014 |
| dc.type.spa.fl_str_mv |
Trabajo de grado - Pregrado |
| dc.type.coarversion.fl_str_mv |
http://purl.org/coar/version/c_71e4c1898caa6e32 |
| dc.type.coar.fl_str_mv |
http://purl.org/coar/resource_type/c_7a1f |
| dc.type.dcmi-type-vocabulary.spa.fl_str_mv |
Text |
| dc.type.driver.spa.fl_str_mv |
info:eu-repo/semantics/bachelorThesis |
| dc.identifier.citation.spa.fl_str_mv |
Fuentes Guzmán, Daniel Camilo. Cálculo de secuentes y gráficos existenciales Alfa: dos estructuras equivalentes para la lógica proposicional. Ibagué : Universidad del Tolima, 2014. <http://repository.ut.edu.co/handle/001/1172> |
| dc.identifier.uri.none.fl_str_mv |
https://repository.ut.edu.co/handle/001/1172 |
| identifier_str_mv |
Fuentes Guzmán, Daniel Camilo. Cálculo de secuentes y gráficos existenciales Alfa: dos estructuras equivalentes para la lógica proposicional. Ibagué : Universidad del Tolima, 2014. <http://repository.ut.edu.co/handle/001/1172> |
| url |
https://repository.ut.edu.co/handle/001/1172 |
| dc.language.iso.spa.fl_str_mv |
spa |
| language |
spa |
| dc.rights.spa.fl_str_mv |
Atribución-NoComercial-CompartirIgual 2.5 Colombia (CC BY-NC-SA 2-5 CO) |
| dc.rights.coar.fl_str_mv |
http://purl.org/coar/access_right/c_abf2 |
| dc.rights.uri.spa.fl_str_mv |
http://www.creativecommons.org/licenses by-nc/2.5/co/ |
| rights_invalid_str_mv |
Atribución-NoComercial-CompartirIgual 2.5 Colombia (CC BY-NC-SA 2-5 CO) http://www.creativecommons.org/licenses by-nc/2.5/co/ http://purl.org/coar/access_right/c_abf2 |
| dc.format.mimetype.spa.fl_str_mv |
application/pdf |
| dc.publisher.spa.fl_str_mv |
Ibagué : Universidad del Tolima, 2014 |
| dc.publisher.providerCountry.spa.fl_str_mv |
Facultad de Ciencias, Programa de Matemáticas con énfasis en Estadística |
| institution |
Universidad del Tolima |
| bitstream.url.fl_str_mv |
https://repository.ut.edu.co/bitstreams/aab35342-176a-420e-a2ac-13397275350a/download https://repository.ut.edu.co/bitstreams/e8f8c0c9-0863-4dbc-b33b-8e8acca6492c/download https://repository.ut.edu.co/bitstreams/199ce36b-429a-46aa-88dd-dfb1292d15f2/download https://repository.ut.edu.co/bitstreams/a3de051c-5b64-480b-bee4-76122836977b/download https://repository.ut.edu.co/bitstreams/b354714e-f731-4048-8190-5ca23ea7a146/download https://repository.ut.edu.co/bitstreams/038b7522-7f5f-4855-9f59-6e160233d51b/download https://repository.ut.edu.co/bitstreams/0d382f55-6481-436e-bd88-c6497851026f/download |
| bitstream.checksum.fl_str_mv |
17d7d2083a9bf5ed5a1655b514ae0d70 4afdbb8c545fd630ea7db775da747b2f 1e0094e9d8adcf16b18effef4ce7ed83 9da0b6dfac957114c6a7714714b86306 127f1942dfbe07f43e8227b660620c70 801c414bbaa066cc9b97015057846613 d80c66a5ec0b05da7a04d1f6096ddb1b |
| bitstream.checksumAlgorithm.fl_str_mv |
MD5 MD5 MD5 MD5 MD5 MD5 MD5 |
| repository.name.fl_str_mv |
Repositorio Institucional - Universidad del Tolima |
| repository.mail.fl_str_mv |
soporte@metabiblioteca.com |
| _version_ |
1814167808124125184 |
| spelling |
Fuentes Guzmán, Daniel Camilo6f936636-bbd5-4dc6-b8b7-e63a53d1bf16-12014-10-01T13:44:58Z2014-10-01T13:44:58Z201453 PáginasRecurso ElectrónicoIntroducción 7 1. Cálculo de secuentes 10 1.1 Secuentes 10 1.2 Reglas para los secuentes 12 1.3 Deducciones en el cálculo de secuentes 15 1.4 Sobre la equivalencia con otras presentaciones 20 2. Gráficos existenciales Alfa 21 2.1 El sistema original de Peirce 21 2.1.1 Formación 21 2.1.2 Reglas de transformación 23 2.1.3 Deducción 24 2.2 El sistema Alfa alternativo 26 2.2.1 Presentación del sistema 26 2.2.2 Sobre la equivalencia con el sistema original 31 3. Equivalencia 34 3.1 Cálculo de secuentes mediante gr´aficos Alfa 34 3.2 Gráficos Alfa alternativos mediante secuentes 47 Conclusiones 52 Biografía 53application/pdfFuentes Guzmán, Daniel Camilo. Cálculo de secuentes y gráficos existenciales Alfa: dos estructuras equivalentes para la lógica proposicional. Ibagué : Universidad del Tolima, 2014. <http://repository.ut.edu.co/handle/001/1172>https://repository.ut.edu.co/handle/001/1172spaIbagué : Universidad del Tolima, 2014Facultad de Ciencias, Programa de Matemáticas con énfasis en EstadísticaAtribución-NoComercial-CompartirIgual 2.5 Colombia (CC BY-NC-SA 2-5 CO)http://www.creativecommons.org/licenses by-nc/2.5/co/http://purl.org/coar/access_right/c_abf2SecuentesGráficos existenciales AlfaLógica proposicionalFacultad de Ciencias, Programa de Matemáticas con énfasis en EstadísticaOostra, Arnold (Director)PregradoProfesional en Matemáticas con énfasis en EstadísticaCálculo de secuentes y gráficos existenciales Alfa, dos estructuras equivalentes para la lógica proposicionalTrabajo de grado - PregradoTextinfo:eu-repo/semantics/bachelorThesishttp://purl.org/coar/version/c_71e4c1898caa6e32http://purl.org/coar/resource_type/c_7a1fPublicationORIGINALRIUT-ABA-spa-2014-Cálculo de secuentes y gráficos existenciales Alfa. Dos estructuras equivalentes para la lógica proposicional.pdfRIUT-ABA-spa-2014-Cálculo de secuentes y gráficos existenciales Alfa. Dos estructuras equivalentes para la lógica proposicional.pdfapplication/pdf172749https://repository.ut.edu.co/bitstreams/aab35342-176a-420e-a2ac-13397275350a/download17d7d2083a9bf5ed5a1655b514ae0d70MD51CC-LICENSElicense_urllicense_urltext/plain; charset=utf-849https://repository.ut.edu.co/bitstreams/e8f8c0c9-0863-4dbc-b33b-8e8acca6492c/download4afdbb8c545fd630ea7db775da747b2fMD52license_textlicense_texttext/html; charset=utf-822302https://repository.ut.edu.co/bitstreams/199ce36b-429a-46aa-88dd-dfb1292d15f2/download1e0094e9d8adcf16b18effef4ce7ed83MD53license_rdflicense_rdfapplication/rdf+xml; charset=utf-823148https://repository.ut.edu.co/bitstreams/a3de051c-5b64-480b-bee4-76122836977b/download9da0b6dfac957114c6a7714714b86306MD54LICENSElicense.txtlicense.txttext/plain; charset=utf-8227https://repository.ut.edu.co/bitstreams/b354714e-f731-4048-8190-5ca23ea7a146/download127f1942dfbe07f43e8227b660620c70MD55TEXTRIUT-ABA-spa-2014-Cálculo de secuentes y gráficos existenciales Alfa. Dos estructuras equivalentes para la lógica proposicional.pdf.txtRIUT-ABA-spa-2014-Cálculo de secuentes y gráficos existenciales Alfa. Dos estructuras equivalentes para la lógica proposicional.pdf.txtExtracted texttext/plain40326https://repository.ut.edu.co/bitstreams/038b7522-7f5f-4855-9f59-6e160233d51b/download801c414bbaa066cc9b97015057846613MD56THUMBNAILRIUT-ABA-spa-2014-Cálculo de secuentes y gráficos existenciales Alfa. Dos estructuras equivalentes para la lógica proposicional.pdf.jpgRIUT-ABA-spa-2014-Cálculo de secuentes y gráficos existenciales Alfa. Dos estructuras equivalentes para la lógica proposicional.pdf.jpgGenerated Thumbnailimage/jpeg6292https://repository.ut.edu.co/bitstreams/0d382f55-6481-436e-bd88-c6497851026f/downloadd80c66a5ec0b05da7a04d1f6096ddb1bMD57001/1172oai:repository.ut.edu.co:001/11722023-03-24 17:54:46.954http://www.creativecommons.org/licenses by-nc/2.5/co/Atribución-NoComercial-CompartirIgual 2.5 Colombia (CC BY-NC-SA 2-5 CO)https://repository.ut.edu.coRepositorio Institucional - Universidad del Tolimasoporte@metabiblioteca.comQ3JlYXRpdmUgQ29tbW9ucyAtIExpY2VuY2lhIGRlIFJlY29ub2NpbWllbnRvIC0gTm9Db21lcmNpYWwgKGJ5LW5jKSA6IFNlIHBlcm1pdGUgbGEgZ2VuZXJhY2nDs24gZGUgb2JyYXMgZGVyaXZhZGFzIHNpZW1wcmUgcXVlIG5vIHNlIGhhZ2EgdW4gdXNvIGNvbWVyY2lhbC4gVGFtcG9jbyBzZSBwdWVkZSB1dGlsaXphciBsYSBvYnJhIG9yaWdpbmFsIGNvbiBmaW5hbGlkYWRlcyBjb21lcmNpYWxlcy4= |