[Logique] 7.1. Satisfaction en logique du premier ordre

Cours de logique Chapitre 7. Satisfaction Partie 1. Vrai/Faux Pour tout & Il existe. Vrai/Faux pour les formules fermées. Affectation. Formules avec variables libres. Retrouvez le livre sur https://exo7.emath.fr