查询词典 truth-value

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的闭集之间的关系。

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 .

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

There are two kinds of truth: one is extensional truth, the other is intentional.

真理有两种，一种是外延真理，另一种内容真理。

I'm only interested in the truth, although the truth is still far-off.

我只对真相感兴趣，尽管我离真相依旧遥远。

The theory, absorbing pragmatism, is based on refuting metaphysical truth and formalist truth .

普特南的这一真理观是在批判形而上学真理观与形式主义真理观基础上，吸收了实用主义真理观的合理因素，从内在实在论立场思考而得出的。

But we don't care about Battlegrounds.

但我们并不在乎沙场中的显露。

Ah! don't mention it, the butcher's shop is a horror.

啊！不用提了。提到肉，真是糟透了。