TERMIUM Plus®
La banque de données terminologiques et linguistiques du gouvernement du Canada.
CLASSICAL LOGIC [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 1987-01-16
Fiche 2, Anglais
Fiche 2, Subject field(s)
- Artificial Intelligence
- Logic (Philosophy)
Fiche 2, La vedette principale, Anglais
- conventional logics
1, fiche 2, Anglais, conventional%20logics
correct
Fiche 2, Les abréviations, Anglais
Fiche 2, Les synonymes, Anglais
- classical logic 2, fiche 2, Anglais, classical%20logic
correct
Fiche 2, Terme(s)-clé(s)
- conventional logic
Fiche 2, Français
Fiche 2, Domaine(s)
- Intelligence artificielle
- Logique (Philosophie)
Fiche 2, La vedette principale, Français
- logique classique
1, fiche 2, Français, logique%20classique
nom féminin
Fiche 2, Les abréviations, Français
Fiche 2, Les synonymes, Français
- logique conventionnelle 1, fiche 2, Français, logique%20conventionnelle
nom féminin
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 :