QUANTIFICATEURS THÉORIE DES

Articles

• NOTATION MATHÉMATIQUE

  • Écrit par Hans FREUDENTHAL
  • 10 338 mots
  • 1 média
  La plus importante 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...

• RUSSELL BERTRAND lord (1872-1970)

  • Écrit par Philippe DEVAUX
  • 6 085 mots
  • 1 média
  ...est homme », il s'ensuit que « x est mortel ». Ce que Russell symbolise 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...