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)
Tags: congruences equivalences valides forme prenexe predicats quantificateurs
Infos
- Jean-Luc Gautero (jgautero@unice.fr)
- Dec. 1, 2023, 6:24 p.m.
- Lesson sequence
- French
- Bachelor’s Degree
Comment(s)