la découverte par George Boole de l’existence de structures algébriques permet- tant de définir un «calcul de vérité». La logique mathématique se fonde sur les premières tentatives de traitement formel des mathématiques, dues à Leibniz et Lambert (fin 16ieme siècle - début 17ieme siècle).
Soit f une formule logique à 4 variables logiques, telle que f = 1 si et seulement le nombre de variables de f qui sont vraies est supérieur ou égale à 2. Etablir le tableau de vérité de f. Exercice 1.5. Soient
A Zahir, Melissa et Badis............. La logique mathématique est née à la fin du 19ieme siècle au sens philosophique du terme ; elle est l’une des pistes explorées par les mathématiciens de cette époque afin de résoudre la crise des fondements provoquée par la complexification des mathématiques et l’apparition des paradoxes.
L'article fonction logique précise comment construire les boîtes noires de quelques fonctions fondamentales. Une table de vérité permet de préciser l'état de la sortie en fonction des états des entrées. Elle caractérise la fonction logique.