Traductions de „prouvable“ dans le dictionnaire allemand » français

beweisbar

prouvable

Exemples monolingues (non-vérifiés par l'équipe de rédaction)

français

Et comme la négation d'une formule close sans quantificateurs est close et sans quantificateurs, si celle-ci est fausse alors sa négation est prouvable dans l'arithmétique élémentaire.

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

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

F est réfutable et sa négation est prouvable.

fr.wikipedia.org

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

fr.wikipedia.org

En outre, ce système capture très exactement la classe des fonctions numériques dont l'existence est prouvable en arithmétique intuitionniste du second ordre (parfois appelée analyse intuitionniste).

fr.wikipedia.org

On montre alors par induction sur la structure des preuves (essentiellement, c'est une récurrence sur la hauteur des preuves en tant qu'arbre) que tous les séquents prouvables sont valides.

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

Pour en déduire que les formules prouvables (⊢p) sont des lois logiques (⊨p).

fr.wikipedia.org

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

fr.wikipedia.org