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

prouvable [pruvabl] ADJ

prouvable

可证实的，可证明的

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

français

Ce dernier dit que si une formule est vraie, alors elle est prouvable.

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

Il n'y a plus de contradiction, mais on montre que l'énoncé ainsi construit n'est pas prouvable (et pour d'autres raisons, sa négation ne l'est pas non plus).

fr.wikipedia.org

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

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

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

fr.wikipedia.org

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

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

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