Examinando por Autor "Donado N., Alberto"

Mostrando 1 - 1 de 1

Razonando con colores (Una aproximación a la lógica intuicionista).
(Editorial Universidad Pedagógica Nacional, 1999-05-11) Páez O., Jorge; Luque A., Carlos; Donado N., Alberto
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.