Logique série d'exercices

Aperçu du contenu

Les propositions - Les quantificateurs 1 Exprimer à l’aide des quantificateurs les propositions suivantes : 1. Il existe un nombre rationnel dont le carré vaut deux. 2. La somme de deux nombres positifs quelconques est un nombre positif. 3. Le carré de n’importe quel nombre réel est un nombre positif. 4. L’équation x 2 −3x +1 = 0 admet une solution réelle. 5. Tout entier naturel est pa…