Ce que nous avons brièvement décrit jusqu'à présent est la logique des propositions. Une proposition affirme quelque chose à propos d'objets mathématiques spécifiques tels que : "2 est supérieur à 1, donc 1 est inférieur à 2" ou "un carré n'a pas 5 côtés, donc un carré n'est pas un pentagone".. Souvent, cependant, les énoncés mathématiques ne concernent pas l'objet unique, mais des objets génériques d'un ensemble tels que: '''<math>X</math>'' ont une hauteur supérieure à 2 mètres' où ''<math>X</math>'' désigne un groupe générique (par exemple tous les joueurs de volley-ball). Dans ce cas, on parle de prédicats. | Ce que nous avons brièvement décrit jusqu'à présent est la logique des propositions. Une proposition affirme quelque chose à propos d'objets mathématiques spécifiques tels que : "2 est supérieur à 1, donc 1 est inférieur à 2" ou "un carré n'a pas 5 côtés, donc un carré n'est pas un pentagone".. Souvent, cependant, les énoncés mathématiques ne concernent pas l'objet unique, mais des objets génériques d'un ensemble tels que: '''<math>X</math>'' ont une hauteur supérieure à 2 mètres' où ''<math>X</math>'' désigne un groupe générique (par exemple tous les joueurs de volley-ball). Dans ce cas, on parle de prédicats. |