propositionnel, elle [ prɔpozisjɔnɛl ] adj.
• 1928; de proposition
♦ Log. Qui est relatif aux propositions de la logique. Logique propositionnelle et logique fonctionnelle.
♢ Math. Calcul propositionnel : branche de la logique mathématique qui étudie les assemblages de propositions.
● propositionnel, propositionnelle adjectif Qui concerne une proposition, qui formule une ou plusieurs propositions : Les partis ont un rôle propositionnel. En logique, qui concerne la proposition. ● propositionnel, propositionnelle (expressions) adjectif Calcul propositionnel, synonyme de calcul des propositions. Fonction propositionnelle, expression contenant une ou plusieurs variables libres et qui est susceptible de devenir une proposition vraie ou fausse si l'on attribue à ces variables certaines valeurs particulières ou si on lie ces variables par des quantificateurs. ● propositionnel, propositionnelle (synonymes) adjectif Calcul propositionnel
Synonymes :
propositionnel, elle [pʀɔpozisjɔnɛl] adj.
ÉTYM. 1951; de proposition.
❖
♦ Log. Qui est relatif aux propositions (I., 2.) de la logique. || Logique propositionnelle et logique fonctionnelle. || Opérateur propositionnel. || Fonction, forme propositionnelle : « expression verbale ou algorithmique contenant une ou plusieurs variables et qui devient une proposition si ces variables sont remplacées par des valeurs fixes » (Lalande). || Variables propositionnelles.
♦ Psychol. || Opérations propositionnelles : opérations de la pensée consistant à manipuler des propositions hors de toute référence immédiate.
Encyclopédie Universelle. 2012.