Escolar Documentos
Profissional Documentos
Cultura Documentos
El problema con las paradojas en el lenguaje fue tan grande para los estudiosos
que los llevo a formularse un lenguaje lógico simbólico.
George Boole en el año 1847, en “El análisis lógico matemático de la lógica” intento
formular un lenguaje matemáticamente lógico. Las reglas de inferencia fueron
formuladas luego de manipular distintas expresiones algebraicas.
Boole incluso intentó encontrar como representar una división, pero esta operación
lógica no existe.
Luego de Boole, Lewis Carol (Charles Ludwig Dodgeson) publico distintos libros
acerca de sus estudios y desarrollo los diagramas de Venn.
- Es necesario que 3 + 2 = 5.