Correction des exercices de logique aristotélicienne.
Introduction à la logique des prédicats, et théorèmes provenant des théorèmes de logique propositionnelle.
Mots clés : axiomatique predicats syllogisme
Informations
- Jean-Luc Gautero (jgautero@unice.fr)
- 17 novembre 2023 18:03
- Séquence de cours
- Français
- Licence
Commentaire(s)