TERMIUM Plus®
La banque de données terminologiques et linguistiques du gouvernement du Canada.
PROUVABILITE [5 fiches]
Fiche 1 - données d’organisme interne 1991-06-12
Fiche 1, Anglais
Fiche 1, Subject field(s)
- Artificial Intelligence
Fiche 1, La vedette principale, Anglais
- provability relation
1, fiche 1, Anglais, provability%20relation
correct
Fiche 1, Les abréviations, Anglais
Fiche 1, Les synonymes, Anglais
Fiche 1, Français
Fiche 1, Domaine(s)
- Intelligence artificielle
Fiche 1, La vedette principale, Français
- relation de prouvabilité
1, fiche 1, Français, relation%20de%20prouvabilit%C3%A9
correct, nom féminin
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 1991-01-11
Fiche 2, Anglais
Fiche 2, Subject field(s)
- Artificial Intelligence
- Computer Programs and Programming
Fiche 2, La vedette principale, Anglais
- provability operator
1, fiche 2, Anglais, provability%20operator
correct
Fiche 2, Les abréviations, Anglais
Fiche 2, Les synonymes, Anglais
Fiche 2, Français
Fiche 2, Domaine(s)
- Intelligence artificielle
- Programmes et programmation (Informatique)
Fiche 2, La vedette principale, Français
- opérateur de prouvabilité
1, fiche 2, Français, op%C3%A9rateur%20de%20prouvabilit%C3%A9
correct, nom masculin
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
Fiche 3 - données d’organisme interne 1990-08-31
Fiche 3, Anglais
Fiche 3, Subject field(s)
- Artificial Intelligence
Fiche 3, La vedette principale, Anglais
- nonmonotonic provability
1, fiche 3, Anglais, nonmonotonic%20provability
correct
Fiche 3, Les abréviations, Anglais
Fiche 3, Les synonymes, Anglais
Fiche 3, Français
Fiche 3, Domaine(s)
- Intelligence artificielle
Fiche 3, La vedette principale, Français
- prouvabilité non monotone
1, fiche 3, Français, prouvabilit%C3%A9%20non%20monotone
correct, nom féminin
Fiche 3, Les abréviations, Français
Fiche 3, Les synonymes, Français
Fiche 3, Justifications, Français
Fiche 3, Espagnol
Fiche 3, Justifications, Espagnol
Fiche 4 - données d’organisme interne 1989-12-12
Fiche 4, Anglais
Fiche 4, Subject field(s)
- Artificial Intelligence
Fiche 4, La vedette principale, Anglais
- provability
1, fiche 4, Anglais, provability
correct
Fiche 4, Les abréviations, Anglais
Fiche 4, Les synonymes, Anglais
Fiche 4, Justifications, Anglais
Record number: 4, Textual support number: 1 DEF
Property of a sentence for which there exists a proof. 2, fiche 4, Anglais, - provability
Record number: 4, Textual support number: 1 CONT
In talking about provability, it is often useful to show that a sentence is provable without actually exhibiting the proof. The following theorems show how the provability of one sentence can be reduced to the provability of another sentence. Thus, if the latter sentence is proved, then the former sentence is proved as well. 2, fiche 4, Anglais, - provability
Fiche 4, Français
Fiche 4, Domaine(s)
- Intelligence artificielle
Fiche 4, La vedette principale, Français
- prouvabilité
1, fiche 4, Français, prouvabilit%C3%A9
correct, nom féminin
Fiche 4, Les abréviations, Français
Fiche 4, Les synonymes, Français
Fiche 4, Justifications, Français
Record number: 4, Textual support number: 1 DEF
Propriété d'un énoncé pour lequel il existe une preuve formelle. 2, fiche 4, Français, - prouvabilit%C3%A9
Record number: 4, Textual support number: 1 OBS
Certains théorèmes montrent comment la prouvabilité d'un énoncé peut se limiter à celle d'un autre. 2, fiche 4, Français, - prouvabilit%C3%A9
Record number: 4, Textual support number: 2 OBS
Prouvable : qu'il est possible de prouver. 3, fiche 4, Français, - prouvabilit%C3%A9
Fiche 4, Espagnol
Fiche 4, Justifications, Espagnol
Fiche 5 - données d’organisme interne 1989-04-20
Fiche 5, Anglais
Fiche 5, Subject field(s)
- Artificial Intelligence
Fiche 5, La vedette principale, Anglais
- first-order provability
1, fiche 5, Anglais, first%2Dorder%20provability
correct
Fiche 5, Les abréviations, Anglais
Fiche 5, Les synonymes, Anglais
Fiche 5, Français
Fiche 5, Domaine(s)
- Intelligence artificielle
Fiche 5, La vedette principale, Français
- prouvabilité du premier ordre
1, fiche 5, Français, prouvabilit%C3%A9%20du%20premier%20ordre
correct, nom féminin
Fiche 5, Les abréviations, Français
Fiche 5, Les synonymes, Français
Fiche 5, Justifications, Français
Fiche 5, Espagnol
Fiche 5, Justifications, Espagnol
Avis de droit d’auteur pour la banque de données TERMIUM Plus®
© Services publics et Approvisionnement Canada, 2025
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 :