Quantificateur

Une maintenance de cette page a été demandée. (mars 2023) Les actions suivantes sont à faire : À lier (orphelin)

En logique pour traduire les expressions « pour tout » et « il existe », on utilise des quantificateurs. Il existe trois types de quantificateurs, le quantificateur universel qui se note ∀ (un A à l'envers) et se traduit par "pour tout", le quantificateur existentiel qui se note ∃, et le troisième se note ∃! qui se traduit par "il existe un unique". Par exemple, pour traduire cette phrase "Il existe un entier naturel supérieur ou égal à 2" en langage mathématique, cela se traduira par :

$\exists n\in \mathbb {N} ,n\geq 2$

Où n désigne un nombre quelconque.

La phrase "Pour tout nombre entier, il y a un nombre entier supérieur" se traduit par :

$\forall n_{0}\in \mathbb {N} ,\exists n\in \mathbb {N} ,n\geq n_{0}$

Portail des mathématiques —  Les nombres, la géométrie, les grands mathématiciens...