QUANTIFICATEURS THÉORIE DES

Ce sujet est traité dans les articles suivants :

1.  NOTATION MATHÉMATIQUE

Écrit par : Hans FREUDENTHAL

Dans le chapitre "La logique"  : … innovation en logique symbolique fut l'introduction par Peano du ∃a pour la *quantification existentielle de a. Le symbole fut légèrement changé par Russell et Whitehead en (∃a) ; ils indiquèrent la quantification universelle en mettant la variable entre parenthèses. Ces notations sont devenues maintenant… Lire la suite

2.  RUSSELL BERTRAND lord (1872-1970)

Écrit par : Philippe DEVAUX

Dans le chapitre "Implication formelle"  : … d'abord par la formule ϕ x ⊃ x ψx en introduisant un *quantificateur universel sous le signe d'implication pour toutes les valeurs des fonctions respectives. La quantification de la variable résulte ici d'une acception due à Peano. Russell admit d'abord la distinction entre variable réelle ou… Lire la suite