prédicat
nom masculin
(latin praedicatus, de praedicare, proclamer) Élément central de la phrase, autour duquel s'organise la fonction des autres éléments de l'énoncé. (Dans la phrase de base, c'est le syntagme verbal par rapport au syntagme nominal sujet : Le chien ABOIE.)
Nom parfois donné, en grammaire traditionnelle, à l'adjectif attribut dans une phrase comportant la copule être.
Ce qui est affirmé d'un sujet ou est dit lui appartenir. (Sagesse/sage est prédicat dans La sagesse appartient à Socrate ou dans Socrate est sage.)
Calcul des prédicats, partie de la logique qui traite des propriétés générales des propositions analysées en prédicats.
LOGIQUELe 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.
(latin praedicatus, de praedicare, proclamer) Élément central de la phrase, autour duquel s'organise la fonction des autres éléments de l'énoncé. (Dans la phrase de base, c'est le syntagme verbal par rapport au syntagme nominal sujet : Le chien ABOIE.)
Nom parfois donné, en grammaire traditionnelle, à l'adjectif attribut dans une phrase comportant la copule être.
Ce qui est affirmé d'un sujet ou est dit lui appartenir. (Sagesse/sage est prédicat dans La sagesse appartient à Socrate ou dans Socrate est sage.)
Calcul des prédicats, partie de la logique qui traite des propriétés générales des propositions analysées en prédicats.
LOGIQUELe 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.
Aucun site ajouté récemment