Identifiez-vous ou Créez un compte

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.