Associations avec le mot «Quantificateur»

QUANTIFICATEUR, nom. (Logique) (Mathématiques) Opérateur reliant une ou plusieurs variables à une quantité.

QUANTIFICATEUR, nom. (Par métonymie) Symbole représentant l’opérateur.

QUANTIFICATEUR, nom. (Grammaire) Déterminant indiquant la quantité par laquelle le substantif est défini.

QUANTIFICATEUR, nom. (Programmation informatique) Élément regex indiquant le nombre d'occurrence.

QUANTIFICATEUR EXISTENTIEL, nom. (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 ».

QUANTIFICATEUR FLOTTANT, nom. (Grammaire) Quantificateur placé séparément du nom qu’il modifie. Dans le deuxième exemple suivant, tous est un quantificateur flottant, qui modifie les étudiants mais qui est placé séparément. 1. Tous les étudiants sont venus. 2. Les étudiants sont tous venus.

QUANTIFICATEUR UNIVERSEL, nom. (Logique) Opérateur, représenté par le symbole ∀ (A renversé) utilisé pour le calcul des prédicats pour indiquer qu’un prédicat est vrai pour tous les élements d’un certain ensemble. Le symbole ∀x se lit « pour tout x  » ou « quel que soit x  ».