Les règles de la logique formelle moderne. Du calcul de propositions à la naissance de l'informatique....
La démonstration : les règles de la déduction
5 min 31 s
La logique formelle
5 min 1 s
Les limites de la démonstration
8 min 49 s