[Logique] 8.2. Négation des quantificateurs et règles dérivées

Cours de logique Chapitre 8. Preuves en logique du premier ordre Partie 2. Négation des quantificateurs et règles dérivées Négation des quantificateurs. Autres règles dérivées. Preuve des règles dérivées. Retrouvez le livre sur https://exo7.emath.fr