1.
Authenticated Key Exchange Protocol and Verification SVO Logic
认证的密钥交换协议及SVO逻辑证明
2.
a fact that logically justifies some premise or conclusion.
以逻辑证明某前提或结论的事实。
3.
It does not amount to a logical proof of the statement.
它还不是这个论题的逻辑证明。
4.
a logical proof of a proposition by showing that its negation leads to a contradiction.
通过否定一个命题得出矛盾结果的逻辑证明。
5.
Proving Soundness of Program Transformations in Optimizing Compilation Based on Temporal Logic
基于时序逻辑证明编译优化程序变换的保义性
6.
capability of being demonstrated or logically proved.
证明或逻辑上证明的能力。
7.
The Logical analysis and Judgment on the Proving Form of mathematical Propositions;
数学命题证明形式的逻辑分析和判定
8.
A Logical Inquiry into Testification of Investigational Practice
关于侦查实践中证明活动的逻辑探讨
9.
Automated Theorem Prover for Pointer Logic
用于指针逻辑的自动定理证明器(英文)
10.
incomprehensible proposition of argument
论题不明(逻辑学)
11.
dubious purpose of argument
论旨不明(逻辑学)
12.
Logic be not the science of belief, but the science of proof or evidence .
逻辑不是信念的科学，而是证明或证据的科学。
13.
in logic: a proposition that is not susceptible of proof or disproof; its truth is assumed to be self-evident.
逻辑学中；不能证明或反证的命题；其真实性是不证自明的。
14.
Ethics must prove that economic logic corresponds with ethical norms.
伦理学必须证明经济逻辑与伦理规范相一致。
15.
It is by logic that we prove, but by intuition that we discover. --Henri Poincare
我们靠逻辑去证明，但是靠直觉去发现。——普安卡雷
16.
(logic) of a proposition; necessarily true or logically certain.
（逻辑学）一个命题；必然真实的，可明确论证的。
17.
Belief that does not rest on logical proof or material evidence.
信仰非基于逻辑或物质证明的坚定信念
18.
An Empirical Study: Students′Comprehension of Logical Relations in Expository Texts;
对学生理解英语说明文中逻辑关系的实证研究