查询词典 truth function

To see this note that the contrapositive is false only when is false and is true.that is only when p is true and q is false.we now show that neither the converse ,,nor the inverse ,has the same truth value as for all possible truth values of p and q.

当两个复合命题含有相同的真值的时候，我们称之为等价命题，（为什么是复合命题因为如果不是符合命题的话那么就是同一个命题了。

First is Cezanne s truth. Second is Cubist truth.

首先阐述塞尚的"艺术真实"，其次是立体主义的真实。

The study of lattice-valued propositional logic system based on lattice implication algebra.On the bases of previous study, by using the concepts and methods of T algebras we established the lattice-valued propositional logic system LP , whose truth values domain is a lattice implication algebra, and discussed systematically the semantical and syntactical properties of LP , proved the soundness theorem 、consistency theorem、deduction theorem and the decidability of validity of the system when the truth values lattice is finite. We also discussed the relationship between the α-theorem of some premise, say A, and the closed sets that contain A.

本文在前人研究工作的基础上，利用T代数的概念与方法，建立了真值取于格蕴涵代数的格值命题逻辑系统LP，对它的语义及语法性质进行了较系统的研究，得到了它的可靠性定理、协调性定理及演绎定理等，证明了值格有限时系统"有效性"的可判定性并讨论了某一前提A下的α定理与包含A的闭集之间的关系。

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的推理方法一般是模糊命题合取式的真值取各子式真值的最小值，析取式的真值取各子式真值的最大值。

Such a conception is to be sharply distinguished,therefore,from certain legal fictions or presumptions which have no relation to fact and are often in truth false deductions or conclusions—such as the fiction of a lesase in the old suit of ejectment,the fiction by which the english Court of Exchequer usurped jurisdiction by permitting an allegation that the plaintiff was the King's debtor and an then allowing no one to deny it,the fiction that all of the stockholders of a corporation are residents of state where it was incorporated,the fiction of a lost grant and the like.Such fictions or presumptions are obviously purely arbitrary and are often in truth contrary to fact,and were invented by the courts for the perpose of being able to administer justice without expressly disregarding a rule which literally applied would produce results opposed to justice.

这样一种看法是要大幅度杰出的，因此，从某些法律的小说或想法，没有关系，并经常在真理中扣除或虚假的小说中conclusions-such lesase旧西装，小说的ejectment由英国法院管辖的金库篡夺通过允许的指控原告是国王的债务，然后不允许任何人否认它，小说，所有的股东的股份有限公司是国家的居民那里成立，小说失落的奖助金，喜欢…这样的小说或想法显然是纯粹的武断的，通常是在真理与事实，并由法庭被发明的辩护是能够以断案没有明确地无视规则会产生结果，字面上的应用与正义。

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 his encyclical The Splendor of Truth, Pope John Paul II reminded us of the necessary link between freedom, truth and the good.

在他的那篇通谕真理的光辉中，教宗若望保禄二世提醒我们自由，真理和善行之间存在必然关联。

Listen, the enunciation of truth ……And the truth is , there is something terribly

而真相是这个国家的有些事情不正常的可怕，对吗？

They must know that Bishops and priests are totally committed to the fullness of Catholic truth on matters of sexual morality, a truth as essential to the renewal of the priesthood and the episcopate as it is to the renewal of marriage and family life.

他们必须知道主教及神父完全承担教会对性道德观完满的承诺，一个和司铎与主教职务更新同样重要的承诺，就好像婚姻与家庭生活一样。

But , if you are expressing the Voice for Truth , and are experiencing no sense of authority or authorship whatsoever , you are in the process of waking up , and you are closer to the Truth , experientially , than ever before .

然而，若你活出真理之声，且感受不到任何当家作主的感觉或主权，那表示你已跻身於觉醒的过程中，从经验层面来讲，你比以往任何时间都更趋近真理了。

Pachomius manual labour was organized as an essential part of the monastic life; and since it is a principle of the monks as distinguished from the mendicants, that the body shall be self-supporting, external work of one sort or another has been an inevitable part of the life ever since.

根据圣pachomius体力劳动组织作为一个重要组成部分寺院生活；以来，这是一个原则的和尚，作为有别于乞丐，该机构应自支撑，对外工作的这种或那种已一个必然的一部分，生活至今。

In order to study the effects of parametrical rolling on the ship movement and tilts, in allusion to ship's navigating in regular following waves, the equation of ship rolling motion is transformed into normal Mathieu equation by proper variable replacement when strong parametrical excitation in restoring moment varied according to sine or cosine wave.

为研究参数横摇对船舶运动和倾覆的影响，通过对船在规则波上随浪航行时，恢复力矩中出现的1个以正余弦规律变化的强参数激励项进行适当的变量置换，将船舶的横摇运动方程转换成标准形式的Mathieu方程。