Sistema Binario

Sistema Binario
EL - 3307
Diseño
Lógico
Ing. José Alberto
Díaz García
Página 5
Diagramas de Venn
• Venn introdujo el sistema de representación que hoy conocemos
con su nombre en su trabajo titulado "De la representación
mecánica y diagramática de proposiciones y razonamientos“.
• La publicación provocó un cierto revuelo en el mundo de la lógica
formal.
• Aunque la primera forma de representación geométrica de
silogismos lógicos se atribuye comúnmente a Leibniz, y fue luego
ampliada por George Boole y Augustus De Morgan, el método de
Venn superaba en claridad y sencillez a los sistemas de
representación anteriores, hasta el punto de convertirse con el
tiempo en un nuevo estándar.
• Más adelante desarrolló algo más su nuevo método en su libro
"Lógica simbólica", publicado en 1881 con el ánimo de interpretar
y corregir los trabajos de Boole en el campo de la lógica formal.
• Los diagramas de Venn se utilizan para hacer representaciones de
relaciones lógicas.
• Los diagramas de Venn se emplean hoy día para enseñar
matemáticas elementales y para reducir la lógica y la Teoría de
conjuntos al cálculo simbólico puro. Se suelen usar también en el
aula diagramas de Venn de dos o tres conjuntos como
herramienta de síntesis, para ayudar a los estudiantes a comparar
y contrastar dos o tres de elementos.