Quantification existentielle
opérateur mathématique, signifiant qu'il existe un objet vérifiant une propriété
Quantification existentielle
En mathématiques et en logique, plus précisément en calcul des prédicats, l'existence d'un objet x {\displaystyle x} satisfaisant une certaine propriété, ou prédicat, P {\displaystyle P} se note ∃ x P ( x ) {\displaystyle \exists xP(x)} , où le symbole mathématique ∃ {\displaystyle \exists } , lu « il existe », est le quantificateur existentiel, et P ( x ) {\displaystyle P(x)} le fait pour l'objet x {\displaystyle x} d'avoir la propriété P {\displaystyle P} . L'objet x {\displaystyle x} ayant la propriété P ( x ) {\displaystyle...
Lire sur Wikipédia · Image Helloblank, CC BY-SA 4.0
Ouvre des boosters, collectionne des cartes et échange-les. Gratuit.
Jouer gratuitement