prouvable in the PONS Dictionary

Monolingual examples (not verified by PONS Editors)

French
Elle est donc également prouvable au moyen de systèmes de déduction, par exemple la déduction naturelle.
fr.wikipedia.org
Dans le cadre de la sécurité prouvable, le modèle de l'oracle aléatoire est un modèle de sécurité idéalisé où les fonctions de hachage cryptographiques sont considérées comme des fonctions aléatoires.
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
Ce dernier dit que si une formule est vraie, alors elle est prouvable.
fr.wikipedia.org
De façon informelle, un théorème de correction pour un système déductif exprime que toutes les phrases prouvables sont vraies.
fr.wikipedia.org
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
Le domaine de la cryptographie où les schémas sont prouvés sûrs est appelé la sécurité prouvable.
fr.wikipedia.org
F est réfutable et sa négation est prouvable.
fr.wikipedia.org
Pour en déduire que les formules prouvables (⊢p) sont des lois logiques (⊨p).
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

Browse the dictionary

French

Look up "prouvable" in other languages


Choose your language Deutsch | English | Español | Français | Italiano
Browse the dictionaries
Most popular