PONS OpenDict
Вы хотите добавить слова, фразы или переводы?
Пожалуйста, отправьте нам новый словарный запись для PONS OpenDict. Внесенные предложения проверяются редакцией PONS и соответствующим образом включаются в результаты.
Примеры предложений недоступны
Попробуй ввести другую запись.
Одноязычные примеры (не проверены редакцией PONS)
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