quantificateur existentiel

== Français == === Étymologie === (Date à préciser) Composé du nom quantificateur et de l’adjectif existentiel. === Locution nominale === quantificateur existentiel \kɑ̃.ti.fi.ka.tœ.ʁ‿ɛɡ.zis.tɑ̃.sjɛl\ masculin (Logique) Opérateur, représenté par le symbole ∃ (E retourné), utilisé dans le calcul des prédicats pour indiquer qu’un prédicat est vrai pour au moins un élément d’un ensemble donné. Le symbole ∃ est lu « il existe (au moins un) ». Le symbole ∃! est lu « il existe un et un seul ». Exemple d’utilisation manquant. (Ajouter) ==== Vocabulaire apparenté par le sens ==== quantificateur universel ==== Traductions ==== === Prononciation === France (Toulouse) : écouter « quantificateur existentiel [Prononciation ?] » (Région à préciser) : écouter « quantificateur existentiel [Prononciation ?] » Cesseras (France) : écouter « quantificateur existentiel [Prononciation ?] » === Voir aussi === quantificateur existentiel sur l’encyclopédie Wikipédia