Razonando con colores (Una aproximación a la lógica intuicionista).
Citación
Fecha
1999-05-11Autor
Páez O, Jorge
Luque A., Carlos
Donado N., Alberto
Enlace al recurso
https://revistas.pedagogica.edu.co/index.php/TED/article/view/5682Metadatos
Mostrar el registro completo del ítemResumen
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.
Abstract
We 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.
Editorial
Editorial Universidad Pedagógica Nacional