Table des matières:
Définition - Que signifie quantificateur?
En logique, un quantificateur est un élément de langage qui aide à générer une quantification, qui est une construction qui mentionne le nombre de spécimens dans le domaine de discours donné satisfaisant une formule ouverte donnée. Les quantificateurs sont largement utilisés en logique, en langues naturelles et en mathématiques discrètes.
Techopedia explique Quantifier
Les quantificateurs sont utilisés dans les expressions quantifiées dans lesquelles les variables libres sont liées par les quantificateurs. En d'autres termes, les variables des prédicats sont quantifiées par des quantificateurs. Il existe deux quantificateurs bien connus utilisés dans la logique des prédicats: le quantificateur universel et le quantificateur existentiel. Le quantificateur universel prétend que les déclarations dans son champ d'application sont vraies pour chaque valeur de la variable unique, alors que dans le cas du quantificateur existentiel, il prétend que les déclarations dans son champ d'application ne sont vraies que pour certaines valeurs de la variable spécifique. Le quantificateur universel est désigné par le symbole ∀, qui est comme un A. inversé. Le quantificateur existentiel est désigné par le symbole ∃, qui est comme un E. à l'envers.
Le rang du quantificateur spécifie la profondeur maximale d'imbrication possible pour les quantificateurs à l'intérieur d'une formule donnée. Il faut noter que l'ordre des quantificateurs est crucial pour le sens de la logique. Les quantificateurs ont une large utilisation dans la logique des prédicats et dans les mathématiques discrètes, car ils aident à la traduction d'une instruction logique donnée.
