TERMIUM Plus®
Par le Bureau de la traduction
Dans les médias sociaux
Consultez la banque de données terminologiques du gouvernement du Canada.
LOGIC THEORIST [2 fiches]
Fiche 1 - données d’organisme interne 1996-11-20
Fiche 1, Anglais
Fiche 1, Subject field(s)
- Artificial Intelligence
Fiche 1, La vedette principale, Anglais
- logic theory machine
1, fiche 1, Anglais, logic%20theory%20machine
correct
Fiche 1, Les abréviations, Anglais
Fiche 1, Les synonymes, Anglais
- Logic Theorist 2, fiche 1, Anglais, Logic%20Theorist
correct
- LT 2, fiche 1, Anglais, LT
correct
- LT 2, fiche 1, Anglais, LT
Fiche 1, Justifications, Anglais
Record number: 1, Textual support number: 1 CONT
We begin the history of automated theorem proving by mentioning some programs that have proven theorems in areas other than the first-order predicate calculus. A 1956 program called the ’Logic Theorist’ or simply LT... proves theorems in propositional calculus(also called sentential calculus...). 2, fiche 1, Anglais, - logic%20theory%20machine
Fiche 1, Français
Fiche 1, Domaine(s)
- Intelligence artificielle
Fiche 1, La vedette principale, Français
- programme LT
1, fiche 1, Français, programme%20LT
proposition
Fiche 1, Les abréviations, Français
Fiche 1, Les synonymes, Français
Fiche 1, Justifications, Français
Fiche 1, Espagnol
Fiche 1, Justifications, Espagnol
Fiche 2 - données d’organisme interne 1989-12-08
Fiche 2, Anglais
Fiche 2, Subject field(s)
- Artificial Intelligence
- Computer Programs and Programming
Fiche 2, La vedette principale, Anglais
- propositional calculus
1, fiche 2, Anglais, propositional%20calculus
correct
Fiche 2, Les abréviations, Anglais
Fiche 2, Les synonymes, Anglais
- sentential calculus 2, fiche 2, Anglais, sentential%20calculus
correct
Fiche 2, Justifications, Anglais
Record number: 2, Textual support number: 1 DEF
Branch of symbolic logic that deals with statements or propositions and the connections between them. 3, fiche 2, Anglais, - propositional%20calculus
Record number: 2, 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, fiche 2, Anglais, - propositional%20calculus
Record number: 2, 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, fiche 2, Anglais, - propositional%20calculus
Fiche 2, Français
Fiche 2, Domaine(s)
- Intelligence artificielle
- Programmes et programmation (Informatique)
Fiche 2, La vedette principale, Français
- calcul des propositions
1, fiche 2, Français, calcul%20des%20propositions
correct, nom masculin
Fiche 2, Les abréviations, Français
Fiche 2, Les synonymes, Français
- calcul propositionnel 2, fiche 2, Français, calcul%20propositionnel
correct, nom masculin
Fiche 2, Justifications, Français
Record number: 2, 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, fiche 2, Français, - calcul%20des%20propositions
Record number: 2, Textual support number: 1 OBS
Aussi appelé logique propositionnelle. 4, fiche 2, Français, - calcul%20des%20propositions
Fiche 2, Espagnol
Fiche 2, Justifications, Espagnol
Avis de droit d’auteur pour la banque de données TERMIUM Plus®
© Services publics et Approvisionnement Canada, 2026
TERMIUM Plus®, la banque de données terminologiques et linguistiques du gouvernement du Canada
Un produit du Bureau de la traduction
En vedette
GCtraduction (accessible uniquement sur le réseau du gouvernement du Canada)
Utilisez ce prototype d’intelligence artificielle pour traduire le contenu du gouvernement du Canada jusqu’au niveau Protégé B inclusivement. Réservé au personnel de certains ministères et organismes.
Outils d'aide à la rédaction
Les outils d’aide à la rédaction du Portail linguistique ont fait peau neuve! Faciles à consulter, ils vous donnent accès à une foule de renseignements utiles pour mieux écrire en français et en anglais.
Lexiques et vocabulaires
Accédez aux lexiques et vocabulaires du Bureau de la traduction.
- Date de modification :