1. Pour les assertions P et Q et les quantificateurs sur ℝ, quelles propositions sont exactes ?
Pour chaque réel x, il existe un réel y tel que x + y > 0, même si y dépend de x.
Explication
Une équivalence requiert les deux implications, et la négation d’un quantificateur universel affirme l’existence d’un contre-exemple. Pour chaque réel x, on peut choisir y = |x| + 1 ; en revanche, aucun y fixe ne convient à tous les réels. La négation d’une existence est universelle, et non existentielle.