provably + adjective
常与 correct、secure、false 等形容词连用，强调该性质能够被严格证明，多见于数学和计算机等正式语境。
The compiler is provably correct for every input program.
该编译器对每个输入程序都可证明是正确的。
可证明地；有证据地
有证据地；以可证明的方式。；证明地
有证据地；以可证明的方式。
With proof; in a provable manner.
The new software is provably faster than the old version.
这款新软件可证明比旧版本更快。
用法提示：provably 是副词，修饰形容词比较级 faster，表示“可证明地”。
The engineer provably confirmed that every connection was safe.
工程师可证明地确认了每个连接都是安全的。
用法提示：provably 是副词，修饰动词 confirmed，表示“有证据地”。
This method provably produces the same result each time.
这种方法可证明每次都会产生相同的结果。
用法提示：provably 是副词，修饰动词 produces，表示“可证明地”。
常与 correct、secure、false 等形容词连用，强调该性质能够被严格证明，多见于数学和计算机等正式语境。
The compiler is provably correct for every input program.
该编译器对每个输入程序都可证明是正确的。
修饰实义动词时，provably 放在动词前，常用来表示某个动作或结果可以被证明。
This program provably terminates for every valid input.
该程序对每个有效输入都可证明会终止。
比 provably 更强调通过论证或例子清楚地说明，常用于学术或辩论语境。
侧重通过检查事实或证据来确认真实性，常用于科学、新闻或日常事实核查，语气中没有 provably 那种逻辑证明的色彩。
语气比 provably 强得多，指证据或论点强到无法否认，不适合用于仅表示'有证据支持'的弱证据场合。
强调没有争议空间，程度强于 provably，更常用于主观判断或公认事实，而非严格的逻辑证明。
grammar · medium
易错句子This statement is provably.
正确表达This statement is provable.
这里把副词 provably 误当作形容词作表语；系动词 is 后应接形容词 provable（可证明的），而不是副词。
grammar · medium
易错句子Provably, he will arrive on time.
正确表达Probably, he will arrive on time.
provably 意为“以可证明的方式”，而这里想表达“很可能”，应使用副词 probably；两者形近但含义不同。
与 provably 的“有证据地”义项相对，指无法以证据或逻辑证明的方式；多用于修饰命题、结论等，不用于修饰具体动作。
provably 表示“有证据地；可证明地”，强调事实能被证实；probably 表示“很可能”，仅表达主观概率，不涉及证据。二者拼写和读音相近，容易混淆。
provably 强调“能够证明”，与证据相关；possibly 强调“存在可能性”，常与 can、could 连用，并不表示有证据。
可证明是正确的；可验证地正确
The algorithm is provably correct under all specified conditions.
该算法在所有指定条件下都可证明是正确的。
可证明是安全的；可验证地安全
This encryption scheme is provably secure against chosen-plaintext attacks.
这种加密方案可证明能抵御选择明文攻击。
可证明是错误的；能被证明为假的
His claim is provably false, since the data contradict it.
他的说法可证明是错误的，因为数据与之相矛盾。
可证明是不可能的；能被证明为不可能的
Some problems are provably impossible to solve with a single algorithm.
有些问题可证明是不可能用单一算法解决的。
可证明是等价的；能被证明为等价的
The two definitions are provably equivalent in standard mathematics.
这两个定义在标准数学中可证明是等价的。
prov(e) (root: prove 证明) + -ably (suffix: 可…地); no prefix. Related: prove, proof, provable; reasonably, comfortably (share -ably).
provably 意为“以可证明的方式”，proof 是这一语义的核心名词。
定理是需要证明的命题，provably 常用来描述定理可以被证明。
公理是证明的起点，可证明的结论建立在公理体系之上。
推理是从前提推导出证明结论的过程，provably 与严谨推理有关。
验证常涉及证明，例如在形式化方法中说 provably correct。
Dictionary facts from ECDICT, WIKTIONARY.