1. Dans un énoncé dépendant d’une variable x, on rencontre , et . Quelles interprétations sont exactes ?
Le symbole $$\forall$$ indique que la propriété vaut pour tout élément considéré. · Le symbole $$\exists$$ affirme qu’il existe un élément satisfaisant la propriété. · Un prédicat est une proposition logique dont la valeur dépend d’une ou plusieurs variables.
Explication
signifie « pour tout » et signifie « il existe » ; un prédicat dépend d’une ou plusieurs variables. exige un élément unique, tandis que l’existence d’au moins un élément correspond à . L’ordre de quantificateurs successifs et est important et ne peut pas être interverti.