Correction d'un exercice sur les congruences; correction d'un exercice sur les propositions de même sens en logique propositionnelle. Théorèmes spécifiques de la logique des prédicats (fin)
Mots clés : congruences equivalences valides forme prenexe predicats quantificateurs
Informations
- Jean-Luc Gautero (jgautero@unice.fr)
- 1 décembre 2023 18:24
- Séquence de cours
- Français
- Licence
Commentaire(s)