Une maintenance est programmée. UniCApod sera indisponible jeudi 10/07/25. Évitez tout transfert de contenu à cette date.
Correction de l'exercice: formalisation en logique des prédicats de propositions aristotéliciennes atypiques.
Mots clés : quantificateurs
Informations
- Jean-Luc Gautero (jgautero@unice.fr)
- 11 mars 2023 18:13
- Séquence de cours
- Français
- Licence
Commentaire(s)