查询词典 disjunctive proposition

Legal logic is useful in the processes of commanding legal concept, using legal concept, upbuilding and grasping proposition logically and carrying on legal reasoning accordingly, and doing logic reasoning for the legal arbitrament and legal ideas which are to be made.

法律逻辑有助于准确掌握和运用法律概念，合乎逻辑地建立和把握命题并进行法律推理，对即将作出的法律裁决或法律意见进行逻辑论证。

The third part discusses the first proposition of the principle argument: the ideal civil society.

第三部分论述本论的第一个问题：理想的公民社会。

Based on this analysis, we then made a teaching assumption to get rid of such kind of thinking barrier, ie."Symbolizing the propositions in everyday life and finding dual proposition according to symbolic rule will enhance students' understanding of the argument principle of proof by contradiction."

进一步提出克服此种思维限制以发展逻辑思维的教学假设─「将生活情境中命题的真伪关系符号化，利用符号规则推理再转译回生活命题，可增进学生对反证法论证原理的了解」，并据以发展教案进行探究性教学。

The Baidu that comes from China will be waked again the purpose imprints in human technology on ascensive history, the proposition that this country becomes global innovation to heat up earth got the most advantageous paradigmatic .

来自中国的百度将再次被醒目的铭刻在人类技术进步史上，这个国度成为全球创新热土的命题得到了最有利的例证。

There is a wrong opinion that a state of thing corresponds to the atomic proposition in the propositional logic.

学界有种观点认为，基本事态对应着命题逻辑的原子命题，这种观点是错误的。

This thesis has given atomic proposition a detailed explanation which conforms to the objective and practical semantics of Lin's Entailment Logic .

本文给出了原子命题的详细而又符合客观实际的制约逻辑语义学解释。

In this solution, to check the vacuity of the CTL formula, it is not necessary to substitute all of its sub-formulae by TRUE or FALSE, but instead, it is enough to substitute its atomic proposition, and thus the number of times for checking is linear with the number of atomic propositions.

该方法对CTL公式的空属性的探测不需要对它的所有子公式用TRUE 或FALSE替换，只需对原子命题替换，这样检验的次数与原子命题的个数呈线性关系。

What is called atomic proposition is a deep thinking on atomic events of the objective world. Atomic events di- vide into two major categories: closed atomic events and open atomic events.

所谓原子命题就是关于客观世界的原子事件的思考；原子事件分闭原子事件和开原子事件两大类。

The new philosophical proposition implied concern on the people's livelihood and animadverting on the political system of autarchy.

这新的哲学命题中实际上蕴涵着对民生的关注和对专制政体的批判。

Proposition 2.2: In the process of technology transferring, the authorizer and the one been authorized only care about the internal business cost and benefit, not the external business cost and benfit.

命题2-2：企业科技技术转移中，授权者及被授权者专注企业内部成本及效益，不专注外部成本及效益。

Continuously improve the production mechanism, to provide customers with better quality products and services.

不断的完善生产机制，给客户提供更优质的产品及服务。

B:Yes, he was the very prize-winner in the court tennis ten years ago?

是的，他是十年前的世界网球冠军。