prouvable in the Oxford-Hachette French Dictionary

Translations for prouvable in the French»English Dictionary

prouvable [pʀuvabl] ADJ

prouvable

provable

prouvable in the PONS Dictionary

Translations for prouvable in the English»French Dictionary

Your search term in other parts of the dictionary

provable

prouvable

Monolingual examples (not verified by PONS Editors)

French

Il y a équivalence entre être une tautologie et être prouvable.

fr.wikipedia.org

Cette preuve est historiquement la première de son genre et a participé à développer la notion de sécurité prouvable en cryptologie.

fr.wikipedia.org

On en déduit, par simple contraposition, que si le séquent vide n'est pas prouvable, c'est qu'il n'y a pas de contradiction.

fr.wikipedia.org

Elle est donc également prouvable au moyen de systèmes de déduction, par exemple la déduction naturelle.

fr.wikipedia.org

Il ne fournit pas un scénario unique, cohérent, scientifiquement raisonnable ou prouvable.

fr.wikipedia.org

Toutefois, de nombreux cas particuliers sont prouvables dans un contexte constructif.

fr.wikipedia.org

Cela ne revient pas à dire que le principe du tiers exclu est complètement interdit ; des cas particuliers de ce principe seront prouvables en tant que théorèmes.

fr.wikipedia.org

La complétude énonce que toutes les phrases vraies sont prouvables.

fr.wikipedia.org

Un ensemble d'axiomes est cohérent lorsqu'aucune contradiction n'est prouvable à partir d'un nombre quelconque, fini, de ces axiomes.

fr.wikipedia.org

Voici quelques-unes des principales formules prouvables (par exemple en calcul des séquents) en logique linéaire.

fr.wikipedia.org