quantificateur existentiel

Français

Étymologie

(Date à préciser) Composé du nom quantificateur et de l’adjectif existentiel.

Locution nominale

SingulierPluriel
quantificateur existentiel quantificateurs existentiels
\kɑ̃.ti.fi.ka.tœ.ʁ‿ɛɡ.zis.tɑ̃.sjɛl\

quantificateur existentiel \kɑ̃.ti.fi.ka.tœ.ʁ‿ɛɡ.zis.tɑ̃.sjɛl\ masculin

  1. (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

Traductions

Opérateur indiquant qu’un prédicat est vrai pour au moins un élément (1)
  • Allemand : Existenzquantor (de) masculin
  • Anglais : existential quantifier (en)
  • Croate : egzistencijalna kvantifikacija (hr)
  • Japonais : 存在量化子 (ja) sonzai ryōkashi
  • Russe : квантор существования (ru) masculin

Prononciation

  • France (Toulouse) : écouter « quantificateur existentiel [Prononciation ?] »
  • (Région à préciser) : écouter « quantificateur existentiel [Prononciation ?] »
  • Cesseras (France) : écouter « quantificateur existentiel [Prononciation ?] »

Voir aussi

Cet article est issu de Wiktionnaire. Sauf mention contraire, le texte est disponible sous Creative Commons Attribution-Share Alike 4.0. Des conditions supplémentaires peuvent s’appliquer aux fichiers multimédias.