Reconnaissance de propositions de même sens (formules dont l'équivalence est démontrable) en logique des prédicats.
Mots clés : quantificateurs
Informations
- Jean-Luc Gautero (jgautero@unice.fr)
- 21 novembre 2021 01:23
- Séquence de cours
- Français
- Licence
Commentaire(s)