查询词典 propositions

They were thrown for the moment into embarrassment and hesitation, from which Arnauld extricated them by a subtlety: they must, he said, accept the condemnation of the five propositions, and reject them, as did the pope, only, these propositions were not contained in the book of the Bishop of Ypres, or if they were found therein, it was in another sense than in the pontifical document; the idea of Jansenius was the same as that of St.

他们投掷为时刻到尴尬和犹豫，从哪个arnauld摆脱他们由一个微妙的：他们必须，他说，接受谴责五个主张，并拒绝他们，像教宗，只有，这些主张没有载在这本书中的主教伊普尔，或如果他们被发现的地方，这是从另一个意义上讲，比在宗座文件； jansenius的想法是一样的，即圣奥古斯丁，而教会也不能，也不希望，谴责。

Propositions like Russell's 'axiom of reducibility' are not logical propositions, and this explains our feeling that, even if they were true, their truth could only be the result of a fortunate accident.

如罗素的"可归纳性公理"这类命题不是逻辑命题，这就说明了我们的这种感觉：即使这些命题为真，也只能是一件碰巧的偶然事情。

If a poset is explained into a set of propositions in the view of logic,then the algebraic completionis closed for the finite deduction system in logic,therefore,the algebraic completion reflects the logically closed extension of preliminary propositions.

本文考察(来源：A1dBCad论8a文网www.abclunwen.com)这种逼近状态是代数格的情形，一旦偏序关系看作信息的某种逻辑蕴含关系，代数完备的本质是从逻辑上封闭逻辑推理系统。

Some Medieval philosophers supposed that the fact that true propositions are of the two sorts "necessarily true" and "contingently true"(and the corresponding fact about false propositions) showed that there were two "modes" in which a proposition could be true: the mode of contingency and the mode of necessity—hence the term 'modality'.

所以有了"模态『modality』"这个词。

" In the philosophy of mathematics, the thesis that all mathematical propositions are expressible as or derivable from the propositions of pure logic."

在数学哲学中，认为数学是从逻辑推导出来的一种论点。

When a truth-operation is applied to the results of truth-operations on elementary propositions, there is always a single operation on elementary propositions that has the same result.

对基本命题真值运算的结果再作一次真值运算，其结果总可等同于对基本命题施用某一单独的真值运算。

In particular, since it is epistemically irrational to doubt the hinge propositions in question, the implication of the argument that Wright offers is that we can indeed know the denials of skeptical hypotheses on the basis of our knowledge of everyday propositions even though our belief in the former is not evidentially grounded.

特别的，因为对转轴命题的怀疑是认识上非理性的，Wright提供的论证蕴涵，基于我们对日常命题的知道，我们能够知道对怀疑论假说情况的拒绝（——即使我们的信念不是基于证据的）。

In the relevant sense, then, hinge propositions are neither foundational propositions that do not require evidential buttress nor evidentially grounded and herein lies the challenge that they pose.

在相关的意思下，转轴命题不是基础命题，也不是证据上被奠基的（于是不会位于所摆出的挑战中）。

We call it many-valued logic in that this kind of logic studies logic theory that handles relations of propositions in which propositions have three truth values or more, even infinite, and do not limit in two truth values.

之所以称之为多值逻辑，关键原因在于其所研究的是具有三个或三个以上乃至无穷个真值的命题之间关系的逻辑理论，而不是仅仅限于真假二值。

In Chapter 2, we recapitulate some fundamental definitions and propositions of topological degrees and some fundamental results about the computation of topological degrees;in Chapter 3, applying relative definitions and propositions of topological degrees, we establish product formulae of topological degrees in product space, in particular, the product formula of fixed point index on product cone, moreover, combining with the fundamental propositions and the computation of fixed point index, we obtain some fixed point theorems on product cone.

为此，在第二章中，我们给出了拓扑度的基本概念和性质以及拓扑度计算方面的基本结果；在第三章中，运用拓扑度的有关知识，我们建立了乘积空间中各类映射的拓扑度的乘积公式，特别是乘积锥上的紧连续映射的不动点指数的乘积公式，进一步，结合不动点指数的基本性质和不动点指数计算方面的基本结果，得到了乘积锥上的若干不动点定理。

I use an example quoted by Hu Jiaqi:"It is reported that America separates the DNA of a kind of virus by making use of genetic technology and combines it with another kind of DNA. Finally, they get a kind of virulent biological agent called a "pyrotoxin". Someone discloses in private that 20 grams of such a kind of biological agent could result in the global death of 6 billion people due to infection."

我在这里例举胡家奇所引用过的例子："据报道，美国利用转基因技术，将一种病毒的DNA分离出来，与另外一种DNA进行结合，拼结成一种剧毒的"热毒素"生物战剂，且私下有人透露，这种生物战剂只需20克，就可以导致全球60亿人全部感染死亡。"

Waiting, for the queers and the coons and the Reds and the Jews.

等待着疯子和黑人还有红色共产主义者还有犹太人