-
Aportaciones de Leibniz.
Gottfried Leibniz,un filósofo y lógico alemán estableció una serie de reglas para calcular el valor verdadero de un número potencialmente infinito de enunciados. -
Atribuciones de George Boole y John Venn
George Boole construye la teoría de clases.Venn aclara los procedimientos de Boole representando los procesos algebraicos en los diagramas de Venn. -
Introducción del cálculo proporcional
El lógico y matemático Gottlob Frege introduce el cálculo proporcional que combina la teoría de la demostración de Leibniz con una presentación de las conectivas lógicas
La lógica de Frege combina las virtudes de Crispo y las de Leibniz.
