TERMIUM Plus®
From: Translation Bureau
On social media
Consult the Government of Canada’s terminology data bank.
CALCUL PROPOSITIONNEL [1 record]
Record 1 - internal organization data 1989-12-08
Record 1, English
Record 1, Subject field(s)
- Artificial Intelligence
- Computer Programs and Programming
Record 1, Main entry term, English
- propositional calculus
1, record 1, English, propositional%20calculus
correct
Record 1, Abbreviations, English
Record 1, Synonyms, English
- sentential calculus 2, record 1, English, sentential%20calculus
correct
Record 1, Textual support, English
Record number: 1, Textual support number: 1 DEF
Branch of symbolic logic that deals with statements or propositions and the connections between them. 3, record 1, English, - propositional%20calculus
Record number: 1, Textual support number: 1 CONT
The two-element boolean algebra can be identified with elementary logic or propositional calculus. A proposition is a statement that can be said to be either true or false. 4, record 1, English, - propositional%20calculus
Record number: 1, Textual support number: 2 CONT
The "Logic Theorist" or simply LT ... proves theorems in propositional calculus (also called sentential calculus, or boolean algebra - q.v.) 4, record 1, English, - propositional%20calculus
Record 1, French
Record 1, Domaine(s)
- Intelligence artificielle
- Programmes et programmation (Informatique)
Record 1, Main entry term, French
- calcul des propositions
1, record 1, French, calcul%20des%20propositions
correct, masculine noun
Record 1, Abbreviations, French
Record 1, Synonyms, French
- calcul propositionnel 2, record 1, French, calcul%20propositionnel
correct, masculine noun
Record 1, Textual support, French
Record number: 1, Textual support number: 1 DEF
Se définit d'une part par sa syntaxe régissant l'ensemble des assertions exprimables dans le langage et d'autre part par ses règles d'inférence décrivant comment on peut créer de nouvelles assertions à partir d'anciennes. 3, record 1, French, - calcul%20des%20propositions
Record number: 1, Textual support number: 1 OBS
Aussi appelé logique propositionnelle. 4, record 1, French, - calcul%20des%20propositions
Record 1, Spanish
Record 1, Textual support, Spanish
Copyright notice for the TERMIUM Plus® data bank
© Public Services and Procurement Canada, 2026
TERMIUM Plus®, the Government of Canada's terminology and linguistic data bank
A product of the Translation Bureau
Features
GCtranslate (available on the Government of Canada network only)
Use this artificial intelligence prototype to translate Government of Canada content up to and including Protected B. Available to employees of selected departments and agencies only.
Writing tools
The Language Portal’s writing tools have a new look! Easy to consult, they give you access to a wealth of information that will help you write better in English and French.
Glossaries and vocabularies
Access Translation Bureau glossaries and vocabularies.
- Date Modified: