Définition - Que signifie Quantifier?
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 donné du discours satisfaisant une formule ouverte donnée. Les quantificateurs sont largement utilisés dans la logique, les langages naturels et les mathématiques discrètes.
Definir Tech 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 affirme que les déclarations dans sa portée sont vraies pour chaque valeur de la variable unique, alors que dans le cas du quantificateur existentiel, il affirme que les déclarations dans sa portée 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.
Le rang de 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 sont largement utilisés dans la logique des prédicats et dans les mathématiques discrètes, car ils aident à la traduction d'un énoncé logique donné.