查询词典 universal affirmative proposition

Before we can judge the truth or falsity of a proposition, we must first be given a proposition that makes sense to us.

才能判断真假的命题，首先要得到我们的主张是有道理的。

In this paper, a formula based on the proposition DNA algorithms, as well as operating results of the analysis and proved that that the next step of DNA computation formula of Proposition direction.

文中设计了一种基于命题公式的DNA算法，并对运行结果进行了分析与证明，指出了DNA计算中下一步命题公式的研究方向。

We are conscious, eg that we cannot at the same time affirm and deny a certain proposition, that one state of mind excludes the other; then we generalize our observation and express as a general principle that a proposition cannot be true and false at the same time.

我们意识到，例如，我们不能在同一时间肯定和否定某种主张，即一个国家的心态排除了其他；然后我们推广我们的观察，并表示作为一般原则，即主张不能真正的和虚假的在同一时间。

This paper expounds the significance and present situation of local coal quality management in Shanxi Province,and puts forward a general proposition of local coal quality management in Shanxi Province in the period of Tenth Five-year Plan and main measures for realizing this proposition.

阐述了山西省地方煤炭质管工作的重要性及现状，提出了"十五"期间山西地方煤质工作的总体构想及实现这一构想的主要措

From the point of view of relation logic, not only can proposition O be reversed but also its reverse has general significance as proposition A, E, I, O do, and the conclusion of its reverse is not any kind of pr...

从关系逻辑的观点看，O命题不但是可以换位的——其换位所得的结论不是 A、E、I、O命题——而且如同 A、E、I命题的换位一样，O命题的换位也是有其一般意义的

The principle of confirmation is the foundation stone of the theory of the logocal empiricism and the confirmation about similar proposition or heterogeneous proposition is the major difference between "the Raren Paradox" and logical empiricism.

证实原则是逻辑经验主义的理论基石，对同类命题还是异类命题的证实是"乌鸦悖论"与逻辑经验主义的主要区别。

"Logicians distinguish two main types of implication, material and strict. Proposition p materially implies proposition q if and only if the material conditional p q (read "if p then q") is true"

逻辑学家将蕴涵分成实质的和严格的两种主要类型。p命题实质蕴涵q命题，若且唯若实质条件pq为真

Proposition logic takes the proposition as the fundamental research object mathematization logical system,propo- sition logic is the mathematical logic foundation,also is the theoretical basic of computer science and the technical.

命题逻辑是一个以命题为基本研究对象的数学化的逻辑系统，命题逻辑是数理逻辑的基础，也是计算机科学与技术的理论基础。

Professor Zhang Qing-yu gets paraconsistent modal proposition logic C〓G'on the base ofCosta's paraconsistent proposition logic system C〓.

张清宇教授在科斯塔的弗协调命题逻辑系统C 的基础上得到弗协调模态命题逻辑系统CnG＇。

To prove the inequality involving for negative proposition, the proposition "or at least",""," nonexistence "and" impossible "words, can consider to use when required.

凡涉及到的证明不等式为否定命题、惟一性命题或含有"至多"、"至少"、"不存在"、"不可能"等词语时，可以考虑用反证法。

Warden: That's a beautiful dog, but don't bring her again.

那是条漂亮的狗，但是不要再把她带来了。

You get up in the morning – no hangover!

你第二天早上起来的时候—不会宿醉！