La logique au siècle des Lumières
![Portrait de Leibniz](../res/image_3.jpg)
![Informations](../skin/img/txt/info.gif)
Au 18e siècle, Leibniz a cherché à rendre compte des raisonnements logiques par une représentation et un calcul.
Il y est de fait arrivé, l'ensemble des syllogismes[3] peut se réduire à du calcul que l'on peut représenter avec des opérateurs.