Una interpretación algebraica de la lógica proposicional y de sus implicancias en fórmulas predicativas cerradas con cuantificadores
Descripción del Articulo
La presente investigación se circunscribe principalmente en el ámbito de la filosofía de la lógica y del metaanálisis lógico, en la medida en que se efectúa una exploración metalógica. El método empleado aplica procedimientos hipotético-deductivos al análisis del lenguaje formal de la lógica proposi...
| Autor: | |
|---|---|
| Formato: | tesis de grado |
| Fecha de Publicación: | 2016 |
| Institución: | Universidad Nacional Mayor de San Marcos |
| Repositorio: | UNMSM-Tesis |
| Lenguaje: | español |
| OAI Identifier: | oai:cybertesis.unmsm.edu.pe:20.500.12672/4831 |
| Enlace del recurso: | https://hdl.handle.net/20.500.12672/4831 |
| Nivel de acceso: | acceso abierto |
| Materia: | Lógica proposicional - Implicancias Fórmula predicativa cerrada https://purl.org/pe-repo/ocde/ford#6.03.01 |
| id |
UNMS_95757214d6501b63248a1b42c5c08976 |
|---|---|
| oai_identifier_str |
oai:cybertesis.unmsm.edu.pe:20.500.12672/4831 |
| network_acronym_str |
UNMS |
| network_name_str |
UNMSM-Tesis |
| repository_id_str |
410 |
| dc.title.none.fl_str_mv |
Una interpretación algebraica de la lógica proposicional y de sus implicancias en fórmulas predicativas cerradas con cuantificadores |
| title |
Una interpretación algebraica de la lógica proposicional y de sus implicancias en fórmulas predicativas cerradas con cuantificadores |
| spellingShingle |
Una interpretación algebraica de la lógica proposicional y de sus implicancias en fórmulas predicativas cerradas con cuantificadores Merma Mora, Miguel Angel Lógica proposicional - Implicancias Fórmula predicativa cerrada https://purl.org/pe-repo/ocde/ford#6.03.01 |
| title_short |
Una interpretación algebraica de la lógica proposicional y de sus implicancias en fórmulas predicativas cerradas con cuantificadores |
| title_full |
Una interpretación algebraica de la lógica proposicional y de sus implicancias en fórmulas predicativas cerradas con cuantificadores |
| title_fullStr |
Una interpretación algebraica de la lógica proposicional y de sus implicancias en fórmulas predicativas cerradas con cuantificadores |
| title_full_unstemmed |
Una interpretación algebraica de la lógica proposicional y de sus implicancias en fórmulas predicativas cerradas con cuantificadores |
| title_sort |
Una interpretación algebraica de la lógica proposicional y de sus implicancias en fórmulas predicativas cerradas con cuantificadores |
| author |
Merma Mora, Miguel Angel |
| author_facet |
Merma Mora, Miguel Angel |
| author_role |
author |
| dc.contributor.advisor.fl_str_mv |
Piscoya Hermoza, Luis Adolfo |
| dc.contributor.author.fl_str_mv |
Merma Mora, Miguel Angel |
| dc.subject.none.fl_str_mv |
Lógica proposicional - Implicancias Fórmula predicativa cerrada |
| topic |
Lógica proposicional - Implicancias Fórmula predicativa cerrada https://purl.org/pe-repo/ocde/ford#6.03.01 |
| dc.subject.ocde.none.fl_str_mv |
https://purl.org/pe-repo/ocde/ford#6.03.01 |
| description |
La presente investigación se circunscribe principalmente en el ámbito de la filosofía de la lógica y del metaanálisis lógico, en la medida en que se efectúa una exploración metalógica. El método empleado aplica procedimientos hipotético-deductivos al análisis del lenguaje formal de la lógica proposicional estándar. Esta metodología permite caracterizar aspectos sintácticos y semánticos de la lógica proposicional al dotarla de una interpretación no estándar de tipo algebraico. La interpretación algebraica efectuada permite proponer un método decisorio formulado en términos algebraicos para fórmulas predicativas monádicas de primer orden con identidad. De este modo, se le da continuidad a la investigación sobre los métodos decisorios, formulados ahora algebraicamente, puesto que así se tiene la ventaja de extender la decisión sobre las afirmaciones matemáticas. La presente investigación se vio alentada por la necesidad de realizar estudios interdisciplinarios o de frontera entre la lógica moderna y las matemáticas. Se ha dado un pequeño paso en este proyecto que otros investigadores pueden continuar. |
| publishDate |
2016 |
| dc.date.accessioned.none.fl_str_mv |
2016-07-21T16:44:21Z |
| dc.date.available.none.fl_str_mv |
2016-07-21T16:44:21Z |
| dc.date.issued.fl_str_mv |
2016 |
| dc.type.none.fl_str_mv |
info:eu-repo/semantics/bachelorThesis |
| format |
bachelorThesis |
| dc.identifier.citation.none.fl_str_mv |
Merma, M. (2016). Una interpretación algebraica de la lógica proposicional y de sus implicancias en fórmulas predicativas cerradas con cuantificadores. [Tesis de pregrado, Universidad Nacional Mayor de San Marcos, Facultad de Letras y Ciencias Humanas, Escuela Académico Profesional de Filosofía]. Repositorio institucional Cybertesis UNMSM. |
| dc.identifier.uri.none.fl_str_mv |
https://hdl.handle.net/20.500.12672/4831 |
| identifier_str_mv |
Merma, M. (2016). Una interpretación algebraica de la lógica proposicional y de sus implicancias en fórmulas predicativas cerradas con cuantificadores. [Tesis de pregrado, Universidad Nacional Mayor de San Marcos, Facultad de Letras y Ciencias Humanas, Escuela Académico Profesional de Filosofía]. Repositorio institucional Cybertesis UNMSM. |
| url |
https://hdl.handle.net/20.500.12672/4831 |
| dc.language.iso.none.fl_str_mv |
spa |
| language |
spa |
| dc.relation.ispartof.fl_str_mv |
SUNEDU |
| dc.rights.none.fl_str_mv |
info:eu-repo/semantics/openAccess |
| dc.rights.uri.none.fl_str_mv |
https://creativecommons.org/licenses/by-nc-sa/4.0/ |
| eu_rights_str_mv |
openAccess |
| rights_invalid_str_mv |
https://creativecommons.org/licenses/by-nc-sa/4.0/ |
| dc.publisher.none.fl_str_mv |
Universidad Nacional Mayor de San Marcos |
| dc.publisher.country.none.fl_str_mv |
PE |
| publisher.none.fl_str_mv |
Universidad Nacional Mayor de San Marcos |
| dc.source.none.fl_str_mv |
Repositorio de Tesis - UNMSM Universidad Nacional Mayor de San Marcos reponame:UNMSM-Tesis instname:Universidad Nacional Mayor de San Marcos instacron:UNMSM |
| instname_str |
Universidad Nacional Mayor de San Marcos |
| instacron_str |
UNMSM |
| institution |
UNMSM |
| reponame_str |
UNMSM-Tesis |
| collection |
UNMSM-Tesis |
| bitstream.url.fl_str_mv |
https://cybertesis.unmsm.edu.pe/bitstreams/0a157bfb-70ce-4fb1-9eab-ee82d3e40544/download https://cybertesis.unmsm.edu.pe/bitstreams/6fca34dc-36cb-4da2-a5b6-e3b3cd77117f/download https://cybertesis.unmsm.edu.pe/bitstreams/9aa20095-8929-4895-b144-416dd6d22471/download https://cybertesis.unmsm.edu.pe/bitstreams/e92244b2-cbae-4ef3-b402-6e58e9eb358c/download |
| bitstream.checksum.fl_str_mv |
8a4605be74aa9ea9d79846c1fba20a33 35c256714e22b97d39b233f80a73559b 3c33ff346d8aa662b8f26b49f10d5a65 43940acb3b7a7890069440939425b29b |
| bitstream.checksumAlgorithm.fl_str_mv |
MD5 MD5 MD5 MD5 |
| repository.name.fl_str_mv |
Cybertesis UNMSM |
| repository.mail.fl_str_mv |
cybertesis@unmsm.edu.pe |
| _version_ |
1845983556229136384 |
| spelling |
Piscoya Hermoza, Luis AdolfoMerma Mora, Miguel Angel2016-07-21T16:44:21Z2016-07-21T16:44:21Z2016Merma, M. (2016). Una interpretación algebraica de la lógica proposicional y de sus implicancias en fórmulas predicativas cerradas con cuantificadores. [Tesis de pregrado, Universidad Nacional Mayor de San Marcos, Facultad de Letras y Ciencias Humanas, Escuela Académico Profesional de Filosofía]. Repositorio institucional Cybertesis UNMSM.https://hdl.handle.net/20.500.12672/4831La presente investigación se circunscribe principalmente en el ámbito de la filosofía de la lógica y del metaanálisis lógico, en la medida en que se efectúa una exploración metalógica. El método empleado aplica procedimientos hipotético-deductivos al análisis del lenguaje formal de la lógica proposicional estándar. Esta metodología permite caracterizar aspectos sintácticos y semánticos de la lógica proposicional al dotarla de una interpretación no estándar de tipo algebraico. La interpretación algebraica efectuada permite proponer un método decisorio formulado en términos algebraicos para fórmulas predicativas monádicas de primer orden con identidad. De este modo, se le da continuidad a la investigación sobre los métodos decisorios, formulados ahora algebraicamente, puesto que así se tiene la ventaja de extender la decisión sobre las afirmaciones matemáticas. La presente investigación se vio alentada por la necesidad de realizar estudios interdisciplinarios o de frontera entre la lógica moderna y las matemáticas. Se ha dado un pequeño paso en este proyecto que otros investigadores pueden continuar.TesisspaUniversidad Nacional Mayor de San MarcosPEinfo:eu-repo/semantics/openAccesshttps://creativecommons.org/licenses/by-nc-sa/4.0/Repositorio de Tesis - UNMSMUniversidad Nacional Mayor de San Marcosreponame:UNMSM-Tesisinstname:Universidad Nacional Mayor de San Marcosinstacron:UNMSMLógica proposicional - ImplicanciasFórmula predicativa cerradahttps://purl.org/pe-repo/ocde/ford#6.03.01Una interpretación algebraica de la lógica proposicional y de sus implicancias en fórmulas predicativas cerradas con cuantificadoresinfo:eu-repo/semantics/bachelorThesisSUNEDULicenciado en FilosofíaUniversidad Nacional Mayor de San Marcos. Facultad de Letras y Ciencias Humanas. Escuela Académico Profesional de FilosofíaFilosofía07935998https://orcid.org/0000-0002-8875-4573Orozco Contreras, Richard AntonioVillena Saldaña, Joseph David de JesúsCalla Marin, Carloshttps://purl.org/pe-repo/renati/level#tituloProfesionalhttps://purl.org/pe-repo/renati/type#tesis095821024113392008412998LICENSElicense.txtlicense.txttext/plain; charset=utf-81748https://cybertesis.unmsm.edu.pe/bitstreams/0a157bfb-70ce-4fb1-9eab-ee82d3e40544/download8a4605be74aa9ea9d79846c1fba20a33MD52ORIGINALMerma_mm.pdfMerma_mm.pdfapplication/pdf705410https://cybertesis.unmsm.edu.pe/bitstreams/6fca34dc-36cb-4da2-a5b6-e3b3cd77117f/download35c256714e22b97d39b233f80a73559bMD53TEXTMerma_mm.pdf.txtMerma_mm.pdf.txtExtracted texttext/plain70770https://cybertesis.unmsm.edu.pe/bitstreams/9aa20095-8929-4895-b144-416dd6d22471/download3c33ff346d8aa662b8f26b49f10d5a65MD54THUMBNAILMerma_mm.pdf.jpgMerma_mm.pdf.jpgGenerated Thumbnailimage/jpeg9190https://cybertesis.unmsm.edu.pe/bitstreams/e92244b2-cbae-4ef3-b402-6e58e9eb358c/download43940acb3b7a7890069440939425b29bMD5520.500.12672/4831oai:cybertesis.unmsm.edu.pe:20.500.12672/48312022-02-11 03:02:11.374https://creativecommons.org/licenses/by-nc-sa/4.0/info:eu-repo/semantics/openAccessopen.accesshttps://cybertesis.unmsm.edu.peCybertesis UNMSMcybertesis@unmsm.edu.peTk9URTogUExBQ0UgWU9VUiBPV04gTElDRU5TRSBIRVJFClRoaXMgc2FtcGxlIGxpY2Vuc2UgaXMgcHJvdmlkZWQgZm9yIGluZm9ybWF0aW9uYWwgcHVycG9zZXMgb25seS4KCk5PTi1FWENMVVNJVkUgRElTVFJJQlVUSU9OIExJQ0VOU0UKCkJ5IHNpZ25pbmcgYW5kIHN1Ym1pdHRpbmcgdGhpcyBsaWNlbnNlLCB5b3UgKHRoZSBhdXRob3Iocykgb3IgY29weXJpZ2h0Cm93bmVyKSBncmFudHMgdG8gRFNwYWNlIFVuaXZlcnNpdHkgKERTVSkgdGhlIG5vbi1leGNsdXNpdmUgcmlnaHQgdG8gcmVwcm9kdWNlLAp0cmFuc2xhdGUgKGFzIGRlZmluZWQgYmVsb3cpLCBhbmQvb3IgZGlzdHJpYnV0ZSB5b3VyIHN1Ym1pc3Npb24gKGluY2x1ZGluZwp0aGUgYWJzdHJhY3QpIHdvcmxkd2lkZSBpbiBwcmludCBhbmQgZWxlY3Ryb25pYyBmb3JtYXQgYW5kIGluIGFueSBtZWRpdW0sCmluY2x1ZGluZyBidXQgbm90IGxpbWl0ZWQgdG8gYXVkaW8gb3IgdmlkZW8uCgpZb3UgYWdyZWUgdGhhdCBEU1UgbWF5LCB3aXRob3V0IGNoYW5naW5nIHRoZSBjb250ZW50LCB0cmFuc2xhdGUgdGhlCnN1Ym1pc3Npb24gdG8gYW55IG1lZGl1bSBvciBmb3JtYXQgZm9yIHRoZSBwdXJwb3NlIG9mIHByZXNlcnZhdGlvbi4KCllvdSBhbHNvIGFncmVlIHRoYXQgRFNVIG1heSBrZWVwIG1vcmUgdGhhbiBvbmUgY29weSBvZiB0aGlzIHN1Ym1pc3Npb24gZm9yCnB1cnBvc2VzIG9mIHNlY3VyaXR5LCBiYWNrLXVwIGFuZCBwcmVzZXJ2YXRpb24uCgpZb3UgcmVwcmVzZW50IHRoYXQgdGhlIHN1Ym1pc3Npb24gaXMgeW91ciBvcmlnaW5hbCB3b3JrLCBhbmQgdGhhdCB5b3UgaGF2ZQp0aGUgcmlnaHQgdG8gZ3JhbnQgdGhlIHJpZ2h0cyBjb250YWluZWQgaW4gdGhpcyBsaWNlbnNlLiBZb3UgYWxzbyByZXByZXNlbnQKdGhhdCB5b3VyIHN1Ym1pc3Npb24gZG9lcyBub3QsIHRvIHRoZSBiZXN0IG9mIHlvdXIga25vd2xlZGdlLCBpbmZyaW5nZSB1cG9uCmFueW9uZSdzIGNvcHlyaWdodC4KCklmIHRoZSBzdWJtaXNzaW9uIGNvbnRhaW5zIG1hdGVyaWFsIGZvciB3aGljaCB5b3UgZG8gbm90IGhvbGQgY29weXJpZ2h0LAp5b3UgcmVwcmVzZW50IHRoYXQgeW91IGhhdmUgb2J0YWluZWQgdGhlIHVucmVzdHJpY3RlZCBwZXJtaXNzaW9uIG9mIHRoZQpjb3B5cmlnaHQgb3duZXIgdG8gZ3JhbnQgRFNVIHRoZSByaWdodHMgcmVxdWlyZWQgYnkgdGhpcyBsaWNlbnNlLCBhbmQgdGhhdApzdWNoIHRoaXJkLXBhcnR5IG93bmVkIG1hdGVyaWFsIGlzIGNsZWFybHkgaWRlbnRpZmllZCBhbmQgYWNrbm93bGVkZ2VkCndpdGhpbiB0aGUgdGV4dCBvciBjb250ZW50IG9mIHRoZSBzdWJtaXNzaW9uLgoKSUYgVEhFIFNVQk1JU1NJT04gSVMgQkFTRUQgVVBPTiBXT1JLIFRIQVQgSEFTIEJFRU4gU1BPTlNPUkVEIE9SIFNVUFBPUlRFRApCWSBBTiBBR0VOQ1kgT1IgT1JHQU5JWkFUSU9OIE9USEVSIFRIQU4gRFNVLCBZT1UgUkVQUkVTRU5UIFRIQVQgWU9VIEhBVkUKRlVMRklMTEVEIEFOWSBSSUdIVCBPRiBSRVZJRVcgT1IgT1RIRVIgT0JMSUdBVElPTlMgUkVRVUlSRUQgQlkgU1VDSApDT05UUkFDVCBPUiBBR1JFRU1FTlQuCgpEU1Ugd2lsbCBjbGVhcmx5IGlkZW50aWZ5IHlvdXIgbmFtZShzKSBhcyB0aGUgYXV0aG9yKHMpIG9yIG93bmVyKHMpIG9mIHRoZQpzdWJtaXNzaW9uLCBhbmQgd2lsbCBub3QgbWFrZSBhbnkgYWx0ZXJhdGlvbiwgb3RoZXIgdGhhbiBhcyBhbGxvd2VkIGJ5IHRoaXMKbGljZW5zZSwgdG8geW91ciBzdWJtaXNzaW9uLgo= |
| score |
13.04047 |
Nota importante:
La información contenida en este registro es de entera responsabilidad de la institución que gestiona el repositorio institucional donde esta contenido este documento o set de datos. El CONCYTEC no se hace responsable por los contenidos (publicaciones y/o datos) accesibles a través del Repositorio Nacional Digital de Ciencia, Tecnología e Innovación de Acceso Abierto (ALICIA).
La información contenida en este registro es de entera responsabilidad de la institución que gestiona el repositorio institucional donde esta contenido este documento o set de datos. El CONCYTEC no se hace responsable por los contenidos (publicaciones y/o datos) accesibles a través del Repositorio Nacional Digital de Ciencia, Tecnología e Innovación de Acceso Abierto (ALICIA).
