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