« Calcul des propositions » : différence entre les versions


Aucun résumé des modifications
Aucun résumé des modifications
Ligne 18 : Ligne 18 :
[https://www.btb.termiumplus.gc.ca/tpv2alpha/alpha-eng.html?lang=eng&i=1&srchtxt=Propositional+calculus&index=alt&codom2nd_wet=1#resultrecs  Source : Termium Plus  ]
[https://www.btb.termiumplus.gc.ca/tpv2alpha/alpha-eng.html?lang=eng&i=1&srchtxt=Propositional+calculus&index=alt&codom2nd_wet=1#resultrecs  Source : Termium Plus  ]


[[Category:publication]]
[[Catégorie:GRAND LEXIQUE FRANÇAIS]]

Version du 13 avril 2021 à 20:28

Définition

Mécanisme de résolution de problème utilisé en logique des propositions, qui s'effectue sur des formes de raisonnement dont la validité, indépendante de la structure des propositions composantes, résulte uniquement de leurs propriétés d'être vraies ou fausses.

Français

calcul des propositions

calcul propositionnel

Anglais

propositional calculus

sentential calculus


Source : Le grand dictionnaire terminologique

Source : Termium Plus