TERMIUM Plus®
La banque de données terminologiques et linguistiques du gouvernement du Canada.
LOGIQUE STANDARD [2 fiches]
Fiche 1 - données d’organisme interne 1989-12-08
Fiche 1, Anglais
Fiche 1, Subject field(s)
- Artificial Intelligence
Fiche 1, La vedette principale, Anglais
- classical logic
1, fiche 1, Anglais, classical%20logic
correct
Fiche 1, Les abréviations, Anglais
Fiche 1, Les synonymes, Anglais
- conventional logic 1, fiche 1, Anglais, conventional%20logic
correct
- standard logic 1, fiche 1, Anglais, standard%20logic
correct
Fiche 1, Justifications, Anglais
Fiche 1, Français
Fiche 1, Domaine(s)
- Intelligence artificielle
Fiche 1, La vedette principale, Français
- logique classique
1, fiche 1, Français, logique%20classique
correct, nom féminin
Fiche 1, Les abréviations, Français
Fiche 1, Les synonymes, Français
- logique standard 1, fiche 1, Français, logique%20standard
correct, nom féminin
Fiche 1, Justifications, Français
Record number: 1, Textual support number: 1 DEF
Système de règles pour la manipulation de symboles en vue de la formulation d'énoncés qui fournissent la description exacte d'un modèle. La valeur de vérité de ces énoncés ne peut être que "vrai" ou "faux". 1, fiche 1, Français, - logique%20classique
Record number: 1, Textual support number: 1 OBS
Logique basée sur le principe de monotonie selon lequel si un ensemble de formules est inclus dans un autre, tout théorème déductible de premier, le sera aussi du second. La logique prédicative et la logique propositionnelle en sont des exemples. 1, fiche 1, Français, - logique%20classique
Fiche 1, Espagnol
Fiche 1, Justifications, Espagnol
Fiche 2 - données d’organisme interne 1986-02-14
Fiche 2, Anglais
Fiche 2, Subject field(s)
- Artificial Intelligence
Fiche 2, La vedette principale, Anglais
- standard logic
1, fiche 2, Anglais, standard%20logic
correct
Fiche 2, Les abréviations, Anglais
Fiche 2, Les synonymes, Anglais
Fiche 2, Justifications, Anglais
Record number: 2, Textual support number: 1 DEF
A well-defined notation in which exact descriptive statements can be formulated about any model (i.e. set of objects with relations between them). 2, fiche 2, Anglais, - standard%20logic
Fiche 2, Français
Fiche 2, Domaine(s)
- Intelligence artificielle
Fiche 2, La vedette principale, Français
- logique standard
1, fiche 2, Français, logique%20standard
correct, nom féminin
Fiche 2, Les abréviations, Français
Fiche 2, Les synonymes, Français
Fiche 2, Justifications, Français
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, 2024
TERMIUM Plus®, la banque de données terminologiques et linguistiques du gouvernement du Canada
Un produit du Bureau de la traduction
En vedette
Portail linguistique du Canada
Accédez à une collection de ressources canadiennes sur tous les aspects du français et de l'anglais, y compris des jeux.
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 :