查询词典 truth-function

Truth based vision in the broadcast I AM VISIONARY TRUTH does not require taking the visionary knowledge of another to perceive clairvoyantly.

在「我是灵视真相」的广播中，以真相为基的灵视并不需要攫取别人的灵视知识来透视。

This paper has comparatively analyzed four aspects of confession corroboration rule of the USA and Japan,they are the proof object、the evidence qualification、the proof degree of corroborative evidence and the confession of codefendant. Corroborative evidence should not only be able to corroborate confession and prove the truth of cases,but also prove the truth to a considerable degree.

本文对美国和日本自白补强规则中的补强证据证明对象、证据能力和证明程度以及共犯自白等方面进行了比较，认为补强证据应当具有证据能力，它不仅可以补强自白，还应当能够证明案件事实，并且应达到相当的证明程度。

Therefore, he thought that the truth of the cognition of historical facts lay in a sort of truth of "Colligation".

就历史价值性认识而言，他重点论述了历史认识主体的前提假设问题。

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.

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

Singer Leona Lewis and former Led Zeppelin guitarist Jimmy Page emerged as the bus transformed into a grass-covered carnival float, and the pair combined for a rendition of "Whole Lotta Love".

歌手leona刘易斯和前率领的飞艇的吉他手吉米页出现巴士转化为基层所涵盖的嘉年华花车，和一双合并为一移交&整个lotta爱&。

This is Kate, and that's Erin.

这是凯特，那个是爱朗。