prouvable no Dicionário de Francês-Inglês da Oxford-Hachette

Traduções para prouvable no dicionário francês»inglês

prouvable [pʀuvabl] ADJ

prouvable

provable

prouvable no Dicionário PONS

Traduções para prouvable no dicionário inglês»francês

Mais traduções e expressões típicas para o termo que pesquisou.

provable

prouvable

Exemplos unilingues (não verificados pela redação)

francês

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