calcul des prédicats

Partie de la logique qui traite des propriétés générales des propositions analysées en prédicats.

LOGIQUE

Le calcul des prédicats est effectué à l'aide de règles d'inférence parmi lesquelles peuvent figurer, contrairement au calcul des propositions, des règles comportant des quantificateurs. La logique du calcul des prédicats est généralement considérée comme la version moderne de la logique aristotélicienne. Elle a pu être énoncée après les travaux de Frege. Gödel a établi sa complétude en 1930.

fonction.

[MATHÉMATIQUES] Relation qui, à chaque élément de son ensemble de départ, associe au plus une image.

grammaire.

Ensemble des structures linguistiques propres à telle ou telle langue ; description...

logique.

Science du raisonnement en lui-même, abstraction faite de la matière à...