查询词典 alternative proposition

Hypothetical reasoning is a reasoning that premise has a proposition and bases on the rela- tion of proposition of protasis and apodosis to made a conclusion.

假言推理是前提中有一个为假言命题，并且根据假言命题前件与后件之间的关系而推出结论的推理。

From the polarity of atomic proposition, a series of CTL formulae is derived by substituting the atomic proposition with TRUE or FALSE, before they are verified by model checking tools. If one of the CTL formulae has passed the verification, then it is concluded that the system property is a vacuity.

根据原子命题的极性，用TRUE 或FALSE替换原子命题，得到一系列的CTL公式，再对这些CTL公式用模型检验工具验证，若CTL公式中有一个通过了验证，则可得出该系统属性是一个空属性。

Only fundament proposition is to be traditional categorical proposition, can socalled"antisyllogism" be valid.

所谓"反三段论"，只有当其中的基础命题为传统直言命题时才有效。

Declarative sentence or a combination increases the tone of voice of doubt the word "you","bar", etc., the general proposition of the whole of the doubt, the answer is a simple proposition for the whole of the positive and negative.

陈述句加疑问语调或兼用语气词"吗"、"吧"等构成，一般是对整个命题的疑问，回答也是对整个命题的简单的肯定和否定。

That is,the truth value of an implication compound proposition is just the compatibleness degree of the actual implication degree or implication rate between its sub-propositions with the language value that describes the feature of implication relation in this compound proposition.

关于复合命题A→B本身的真值，传统逻辑中是由其支命题A、B的实际真值通过某种真值运算(二值逻辑中用"实质蕴涵"，模糊逻辑中有众多的"蕴涵算子")而求得。我们称这种求蕴涵型复合命题真值的方法为逻辑方法。

The second, so far as the text is concerned, might be considered as merely a different wording of the first, were it not that the history of the council shows that Wyclif had directly opposed the Scholastic doctrine of "accidents without a subject" as absurd and even heretical (cf, De Augustinis, De re sacramentari, Rome, 1889, II, 573 sqq.), Hence it was the intention of the council to condemn the second article, not merely as a conclusion of the first, but as a distinct and independent proposition; wherefore we may gather the Church's teaching on the subject from the contradictory proposition;"Accidentia panis manent sine subjecto," ie the accidents of bread do remain without a subject.

第二，相对於文而言，可被视为仅仅是一个不同的措辞第一，如果不是被认为安理会历史表明wyclif直接反对学术上的理论，"如果没有意外的一个主题"一样荒谬甚至异端（比照，德奥古斯蒂尼斯，德重sacramentari ，罗马， 1889年第一，二， 573 sqq ），因此这是安理会打算谴责第二篇文章，而不是仅仅作为一种结论的第一，但作为一个独特和独立命题；哪，我们可以搜集教会的教学主题，从相互矛盾的命题"； accidentia潘尼斯manent正弦subjecto "，即事故的面包做的仍然是一个课题。

In fact,it is possible to exert conversion on O-proposition in conversion by contraposition inference which takes the premise by the universal proposition .

本文通过欧拉图我们可以证明以全称命题为前提的换质位法推理中O命题是能够换位的。

Physics concepts, theorems as well as principles are primary content of physics learning, those knowledge take on the forms by proposition . In chapter 3, the study revealed that physics proposition are mainly obtained by reasoning (inductive reasoning such as tallying method, differentiation method and covariant method, deductive reasoning such as negative expression of hypothetical inference, affirmative expression of hypothetical inference ).Then by the means of experiment, the different condition needed when applying those reasoning was explored.

由于定义性概念、定理和定律等命题知识是物理教学的主要内容，所以在第三章中首先通过研究，表明物理命题主要是运用推理策略获得的(归纳推理策略中的求同策略、差异策略和共变策略，演绎推理策略)；然后通过实验等方法研究使用策略需要的条件；最后依据前面的研究提出适合物理命题学习的任务分析方法。

Insert my company transacts the building diagram Locate SUSANA china of the acene Chuang of Shanghai big six marketing centers SUSANA proposition concentrates on pursuing the proposition, shopper, distributor Advanctage balance relation between other colleagues of demulcent therapy, reconciliation, biggest degree Insert to shake hands the picture Satisfy the basic demand of the shopper, carry out" by one's own perfect, proptosis The indoles pulls out OF " of ego request.

舒珊娜企业致力于追求企业、顾客、经销商和其他伙伴之间的利益平衡关系，最大程度满足顾客的根本需求，实现"自我完善，出类拔萃"的自我要求。

The fuzzy reasoning method based on Petri Nets is usually taking the minimal value of each truth-value of fuzzy conjunctive proposition, while the truth-value of fuzzy disjunctive proposition takes the maximal value.

FRPN的推理方法一般是模糊命题合取式的真值取各子式真值的最小值，析取式的真值取各子式真值的最大值。

The changes of the HAF after liver injury may be related to the volume of blood loss, the intraabdominal pressure and the pneumoperitoneum duration.

肝撞击伤伴失血后肝动脉血流量的变化与失血量、气腹压力以及气腹持续时间等有密切联系。

Reneging on our commitments to the world's poor cannot be an austerity measure, she said.

放弃我们给世界上的穷国的承诺不能成为一种紧缩措施。