Examinando por Autor "Luque A., Carlos"

Mostrando 1 - 2 de 2

H-conjuntos.
(Editorial Universidad Pedagógica Nacional, 1999-05-11) Páez O., Jorge; Luque A., Carlos; Donado N., Albedo
Así como la lógica asociada al álgebra de Heyting 2, permite construir la teoría de conjuntos clásica, cualquier otra álgebra de Heyting H permite construir por analogía teorías que llamaremos de H-conjuntos [8], los cuales están definidos por predicados cuyos valores de verdad son los elementos del conjunto H y donde las proposiciones que ellos generan pueden conectarse mediante las operaciones (٨ ,٧,→ ), propias del álgebra considerada. En estas teorías es posible desarrollar conceptos que generalizan nociones entre conjuntos como las de producto, relaciones y funciones, etc. A pesar de que el conjunto de valores de verdad de H permite incluir casos como el del intervalo real [0,1] y que las operaciones (٨) e (٧) a definir coinciden con las de la lógica difusa [3], esta teoría difiere de aquella por no considerar definido un complemento y por considerar el operador (→)como el adjunto a derecha del operador (٨).
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.