Razonando con colores (Una aproximación a la lógica intuicionista).

La lógica clásica, en cuya construcción intervienen proposiciones que sólo pueden tomar dos valores de verdad (Verdadero y Falso), ha sido utilizada para la elaboración de la teoría de conjuntos, piedra fundamental para el desarrollo de la matemática moderna y como paradigma para la fundamentación t...

Full description

Autores:
Páez O., Jorge
Luque A., Carlos
Donado N., Alberto
Tipo de recurso:
Article of journal
Fecha de publicación:
1999
Institución:
Universidad Pedagógica Nacional
Repositorio:
Repositorio Institucional UPN
Idioma:
spa
OAI Identifier:
oai:repository.pedagogica.edu.co:20.500.12209/15689
Acceso en línea:
https://revistas.upn.edu.co/index.php/TED/article/view/5682
http://hdl.handle.net/20.500.12209/15689
Palabra clave:
Rights
openAccess
License
https://creativecommons.org/licenses/by-nc/4.0
id RPEDAGO2_2b02efbe319abdb95717537227ace66a
oai_identifier_str oai:repository.pedagogica.edu.co:20.500.12209/15689
network_acronym_str RPEDAGO2
network_name_str Repositorio Institucional UPN
repository_id_str
spelling Páez O., JorgeLuque A., CarlosDonado N., Alberto2021-08-02T16:53:14Z2021-08-02T16:53:14Z1999-05-11https://revistas.upn.edu.co/index.php/TED/article/view/568210.17227/ted.num5-56822323-01262665-3184http://hdl.handle.net/20.500.12209/15689La lógica clásica, en cuya construcción intervienen proposiciones que sólo pueden tomar dos valores de verdad (Verdadero y Falso), ha sido utilizada para la elaboración de la teoría de conjuntos, piedra fundamental para el desarrollo de la matemática moderna y como paradigma para la fundamentación teórica de las ciencias. Para representar conjuntos suelen utilizarse los diagramas de Euler-Venn, en los que a cada punto de un rectángulo que representa el universo, se le asigna un color para distinguir los puntos que representan los elementos que pertenecen a un conjunto y un color para los elementos que no pertenecen a él, el cual normalmente es el fondo del papel.Made available in DSpace on 2021-08-02T16:53:14Z (GMT). No. of bitstreams: 0Item created via OAI harvest from source: https://revistas.pedagogica.edu.co/index.php/TED/oai on 2021-08-02T16:53:14Z (GMT). Item's OAI Record identifier: oai:pedagogica.edu.co-REVISTAS-UPN-CO:article/5682We present an intuitive approach to Intuitionist logic based on the notion of n-paintings which generalizes the notion of sets; using several tonalities of a color, we construct operations between n-paintings that can be interpreted in terms of propositions and logical reasoning based on Heyting algebras.application/pdfspaEditorial Universidad Pedagógica Nacionalhttps://revistas.upn.edu.co/index.php/TED/article/view/5682/4693BARNES, D. y MACK, J. An algebraic introduction to Mathematical Logic. Springer-Verlag. New York. 1975.GOLDBLATT, R. Topoi: A Categorical analysis of Logic. Elsevier Science Publishers. New York. 1984GRATZER, S. Lattice theory: First concepts and distributive lattices. W.H. Freeman. U.S.A. 1971STOLL, Robert. Set theory and logic. W. H. Freeman. U.S.A. 1963.CAICEDO, X. Elementos de Lógica y calculabilidad. Una empresa Docente. Universidad de los Andes. Santafé de Bogotá, 1990.COPI, l. M. Lógica Simbólica. Ed. Continental. México. 1979.KAUFMANN, A. Introducción a la teoría de subconjuntos borrosos. C.E.C.S.A. México. 1977.LUQUE, C.; DONADO, A. y PÁEZ, J. Caracterización de conjuntos por temas. XllI Coloquio Distrital de Matemáticas y estadística. Universidad Nacional. Santafé de Bogotá, 1996.LUQUE, C.; PÁEZ, J.; DONADO, A. H-conjuntos: Una generalización de la noción de conjunto. XIV Coloquio Distrital de Matemáticas y estadística. Universidad Pedagógica Nacional. Santafé de Bogotá, 1997.https://creativecommons.org/licenses/by-nc/4.0info:eu-repo/semantics/openAccesshttp://purl.org/coar/access_right/c_abf2Attribution-NonCommercial 4.0 InternationalTecné, Episteme y Didaxis: TED; Núm. 5 (1999)Tecné, Episteme y Didaxis: TED; No. 5 (1999)Tecné, Episteme y Didaxis: TED; n. 5 (1999)Razonando con colores (Una aproximación a la lógica intuicionista).Artículo de revistahttp://purl.org/coar/resource_type/c_6501http://purl.org/coar/resource_type/c_2df8fbb1info:eu-repo/semantics/articlehttp://purl.org/coar/version/c_970fb48d4fbd8a8520.500.12209/15689oai:repository.pedagogica.edu.co:20.500.12209/156892024-09-05 09:50:47.304Repositorio Institucional Universidad Pedagógica Nacionalrepositorio@pedagogica.edu.co
dc.title.spa.fl_str_mv Razonando con colores (Una aproximación a la lógica intuicionista).
title Razonando con colores (Una aproximación a la lógica intuicionista).
spellingShingle Razonando con colores (Una aproximación a la lógica intuicionista).
title_short Razonando con colores (Una aproximación a la lógica intuicionista).
title_full Razonando con colores (Una aproximación a la lógica intuicionista).
title_fullStr Razonando con colores (Una aproximación a la lógica intuicionista).
title_full_unstemmed Razonando con colores (Una aproximación a la lógica intuicionista).
title_sort Razonando con colores (Una aproximación a la lógica intuicionista).
dc.creator.fl_str_mv Páez O., Jorge
Luque A., Carlos
Donado N., Alberto
dc.contributor.author.spa.fl_str_mv Páez O., Jorge
Luque A., Carlos
Donado N., Alberto
description La lógica clásica, en cuya construcción intervienen proposiciones que sólo pueden tomar dos valores de verdad (Verdadero y Falso), ha sido utilizada para la elaboración de la teoría de conjuntos, piedra fundamental para el desarrollo de la matemática moderna y como paradigma para la fundamentación teórica de las ciencias. Para representar conjuntos suelen utilizarse los diagramas de Euler-Venn, en los que a cada punto de un rectángulo que representa el universo, se le asigna un color para distinguir los puntos que representan los elementos que pertenecen a un conjunto y un color para los elementos que no pertenecen a él, el cual normalmente es el fondo del papel.
publishDate 1999
dc.date.issued.none.fl_str_mv 1999-05-11
dc.date.accessioned.none.fl_str_mv 2021-08-02T16:53:14Z
dc.date.available.none.fl_str_mv 2021-08-02T16:53:14Z
dc.type.coar.fl_str_mv http://purl.org/coar/resource_type/c_2df8fbb1
dc.type.coarversion.fl_str_mv http://purl.org/coar/version/c_970fb48d4fbd8a85
dc.type.local.spa.fl_str_mv Artículo de revista
dc.type.coar.eng.fl_str_mv http://purl.org/coar/resource_type/c_6501
dc.type.driver.eng.fl_str_mv info:eu-repo/semantics/article
format http://purl.org/coar/resource_type/c_6501
dc.identifier.none.fl_str_mv https://revistas.upn.edu.co/index.php/TED/article/view/5682
10.17227/ted.num5-5682
dc.identifier.issn.none.fl_str_mv 2323-0126
2665-3184
dc.identifier.uri.none.fl_str_mv http://hdl.handle.net/20.500.12209/15689
url https://revistas.upn.edu.co/index.php/TED/article/view/5682
http://hdl.handle.net/20.500.12209/15689
identifier_str_mv 10.17227/ted.num5-5682
2323-0126
2665-3184
dc.language.iso.none.fl_str_mv spa
language spa
dc.relation.none.fl_str_mv https://revistas.upn.edu.co/index.php/TED/article/view/5682/4693
dc.relation.references.eng.fl_str_mv BARNES, D. y MACK, J. An algebraic introduction to Mathematical Logic. Springer-Verlag. New York. 1975.
GOLDBLATT, R. Topoi: A Categorical analysis of Logic. Elsevier Science Publishers. New York. 1984
GRATZER, S. Lattice theory: First concepts and distributive lattices. W.H. Freeman. U.S.A. 1971
STOLL, Robert. Set theory and logic. W. H. Freeman. U.S.A. 1963.
dc.relation.references.spa.fl_str_mv CAICEDO, X. Elementos de Lógica y calculabilidad. Una empresa Docente. Universidad de los Andes. Santafé de Bogotá, 1990.
COPI, l. M. Lógica Simbólica. Ed. Continental. México. 1979.
KAUFMANN, A. Introducción a la teoría de subconjuntos borrosos. C.E.C.S.A. México. 1977.
LUQUE, C.; DONADO, A. y PÁEZ, J. Caracterización de conjuntos por temas. XllI Coloquio Distrital de Matemáticas y estadística. Universidad Nacional. Santafé de Bogotá, 1996.
LUQUE, C.; PÁEZ, J.; DONADO, A. H-conjuntos: Una generalización de la noción de conjunto. XIV Coloquio Distrital de Matemáticas y estadística. Universidad Pedagógica Nacional. Santafé de Bogotá, 1997.
dc.rights.uri.none.fl_str_mv https://creativecommons.org/licenses/by-nc/4.0
dc.rights.accessrights.none.fl_str_mv info:eu-repo/semantics/openAccess
http://purl.org/coar/access_right/c_abf2
dc.rights.creativecommons.none.fl_str_mv Attribution-NonCommercial 4.0 International
rights_invalid_str_mv https://creativecommons.org/licenses/by-nc/4.0
http://purl.org/coar/access_right/c_abf2
Attribution-NonCommercial 4.0 International
eu_rights_str_mv openAccess
dc.format.mimetype.spa.fl_str_mv application/pdf
dc.publisher.spa.fl_str_mv Editorial Universidad Pedagógica Nacional
dc.source.spa.fl_str_mv Tecné, Episteme y Didaxis: TED; Núm. 5 (1999)
Tecné, Episteme y Didaxis: TED; No. 5 (1999)
Tecné, Episteme y Didaxis: TED; n. 5 (1999)
institution Universidad Pedagógica Nacional
repository.name.fl_str_mv Repositorio Institucional Universidad Pedagógica Nacional
repository.mail.fl_str_mv repositorio@pedagogica.edu.co
_version_ 1814445179957936128

Publicaciones similares