En poursuivant votre navigation sur ce site, vous acceptez l’utilisation de cookies pour vous proposer des publicités adaptées à vos centres d’intérêts, réaliser des statistiques ainsi qu’interagir avec des réseaux sociaux.

Pour en savoir plus et paramétrer les cookies

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.