QUANTIFICATEURS THÉORIE DES

NOTATION MATHÉMATIQUE

  • Écrit par 
  • Hans FREUDENTHAL
  •  • 10 388 mots
  •  • 1 média

Dans le chapitre « La logique »  : […] Boole, Peirce, E. Schröder et Peano employaient souvent les mêmes symboles au sens logique et au sens ensembliste. Pour la conjonction, Russell et Whitehead adoptaient l'écriture multiplicative de Boole et d'autres, tandis que pour la disjonction ils introduisirent le symbole ∨. Hilbert et son école choisirent le signe & pour la conjonction ; pour […] Lire la suite☛ http://www.universalis.fr/encyclopedie/notation-mathematique/#i_35319

RUSSELL BERTRAND lord (1872-1970)

  • Écrit par 
  • Philippe DEVAUX
  •  • 6 112 mots
  •  • 1 média

Dans le chapitre « Implication formelle »  : […] Toute implication entre fonctions de propositions est formelle. Une fonction est dite propositionnelle quand son expression est constituée d'une fonction ϕ relativement constante et d'une ou de plusieurs variables individuelles ( x , y , z... ). Elle peut s'analyser et engendrer des propositions élémentaires assignant des valeurs déterminées aux v […] Lire la suite☛ http://www.universalis.fr/encyclopedie/bertrand-russell/#i_35319