provably
/ˈpruː.və.bli/翻译: 副词，用于数学、逻辑学和计算机科学中，表示“以可以被证明或演示的方式”。描述可以通过逻辑推理或数学证明被形式化验证或证明为真的陈述、性质或行为。
adverb
C2formalcommonIT/ˈpruː.və.bli/An adverb used in mathematics, logic, and computer science meaning "in a way that can be demonstrated or proven." It describes statements, properties, or behaviors that can be formally verified or shown to be true through logical reasoning or mathematical proof.
- 🇷🇺Наречие, используемое в математике, логике и информатике, означающее «таким образом, который может быть продемонстрирован или доказан». Описывает утверждения, свойства или поведение, которые могут быть формально проверены или показаны как истинные с помощью логических рассуждений или математического доказательства.
- 🇪🇸Adverbio usado en matemáticas, lógica e informática que significa «de manera que puede demostrarse o probarse». Describe afirmaciones, propiedades o comportamientos que pueden verificarse formalmente o mostrarse como verdaderos mediante razonamiento lógico o prueba matemática.
- 🇫🇷Adverbe utilisé en mathématiques, en logique et en informatique, signifiant « d'une manière qui peut être démontrée ou prouvée ». Il décrit des affirmations, propriétés ou comportements qui peuvent être formellement vérifiés ou montrés comme vrais par un raisonnement logique ou une preuve mathématique.
- 🇩🇪Adverb, das in Mathematik, Logik und Informatik verwendet wird und bedeutet, dass etwas bewiesen oder durch logische Schlussfolgerungen bzw. mathematischen Beweis als wahr gezeigt werden kann. Es beschreibt Aussagen, Eigenschaften oder Verhalten, die formal nachweisbar oder verifizierbar sind.
- 🇵🇹Advérbio usado em matemática, lógica e ciência da computação que significa «de modo que pode ser demonstrado ou provado». Descreve afirmações, propriedades ou comportamentos que podem ser formalmente verificados ou mostrados como verdadeiros por meio de raciocínio lógico ou prova matemática.
- 🇨🇳副词，用于数学、逻辑学和计算机科学中，表示“以可以被证明或演示的方式”。描述可以通过逻辑推理或数学证明被形式化验证或证明为真的陈述、性质或行为。
- 🌐ظرف يُستخدم في الرياضيات والمنطق وعلم الحاسوب بمعنى «بطريقة يمكن إثباتها أو البرهنة عليها». يصف العبارات أو الخصائص أو السلوكيات التي يمكن التحقق منها أو إثبات صحتها بالاستدلال المنطقي أو البرهان الرياضي.
- In a demonstrable manner C1 formal
In a way that can be shown or proven to be true.
- The theory is provably correct under these conditions.
- He provably demonstrated the algorithm's efficiency.
- The results are provably consistent with the initial hypothesis.
🇷🇺Доказуемо🇪🇸De manera demostrable🇫🇷De manière démontrable🇩🇪Beweisbar🇵🇹De forma demonstrável🇨🇳可证明地🌐بشكل قابل للإثبات
- more provably comparative form
- most provably superlative form