TERMIUM Plus®
The Government of Canada’s terminology and linguistic data bank.
SYMBOLIC LOGICS [1 record]
Record 1 - internal organization data 2003-05-23
Record 1, English
Record 1, Subject field(s)
- Programming Languages
- Artificial Intelligence
- Philosophy (General)
Record 1, Main entry term, English
- symbolic logic
1, record 1, English, symbolic%20logic
correct, standardized
Record 1, Abbreviations, English
Record 1, Synonyms, English
- mathematical logic 1, record 1, English, mathematical%20logic
correct, standardized
- symbolic logics 2, record 1, English, symbolic%20logics
- mathematical logics 2, record 1, English, mathematical%20logics
Record 1, Textual support, English
Record number: 1, Textual support number: 1 DEF
The discipline in which argument and operations are dealt with using an artificial language designated to avoid the ambiguities and logical inadequacies of natural languages. 3, record 1, English, - symbolic%20logic
Record number: 1, Textual support number: 1 OBS
symbolic logic; mathematical logic: terms standardized by ISO and CSA. 4, record 1, English, - symbolic%20logic
Record 1, French
Record 1, Domaine(s)
- Langages de programmation
- Intelligence artificielle
- Philosophie (Généralités)
Record 1, Main entry term, French
- logique symbolique
1, record 1, French, logique%20symbolique
correct, feminine noun, standardized
Record 1, Abbreviations, French
Record 1, Synonyms, French
Record 1, Textual support, French
Record number: 1, Textual support number: 1 DEF
Discipline dans laquelle les raisonnements et les opérations sont représentés à l'aide d'un langage artificiel destiné à éviter les ambiguïtés et l'inadéquation des langages naturels. 2, record 1, French, - logique%20symbolique
Record number: 1, Textual support number: 1 OBS
logique symbolique : terme normalisé par l'ISO et la CSA. 3, record 1, French, - logique%20symbolique
Record 1, Spanish
Record 1, Campo(s) temático(s)
- Lenguaje de programación
- Inteligencia artificial
- Filosofía (Generalidades)
Record 1, Main entry term, Spanish
- lógica simbólica
1, record 1, Spanish, l%C3%B3gica%20simb%C3%B3lica
correct, feminine noun
Record 1, Abbreviations, Spanish
Record 1, Synonyms, Spanish
- lógica matemática 2, record 1, Spanish, l%C3%B3gica%20matem%C3%A1tica
correct, feminine noun
- lógica formal 2, record 1, Spanish, l%C3%B3gica%20formal
feminine noun
Record 1, Textual support, Spanish
Record number: 1, Textual support number: 1 DEF
Descripción, mediante un lenguaje cuya concepción suprime las ambigüedades semánticas del lenguaje común, de las formas estructurales de unos argumentos válidos y de unos fundamentos matemáticos. 3, record 1, Spanish, - l%C3%B3gica%20simb%C3%B3lica
Copyright notice for the TERMIUM Plus® data bank
© Public Services and Procurement Canada, 2024
TERMIUM Plus®, the Government of Canada's terminology and linguistic data bank
A product of the Translation Bureau
Features
Language Portal of Canada
Access a collection of Canadian resources on all aspects of English and French, including quizzes.
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: