查询词典 truth matrix

After analyzing the structure of sentences,Tarski found that, it was impossible to define the truth of the calculus of classes directly,but making use of the structure character of sentential functions could give us the approach to escape the dilemma:Firstly,we could defined the concept of satisfaction in sentential functions by means of recursive method;Then,we could regard sentences as a peculiar form of sentential functions;Finally,with the help of the concept of satisfaction,we could defined successfully the truth of the calculus of classes.

通过分析语句的结构，塔斯基发现很难直接定义出类演算语言的真概念，而语句函项所具有的可递归形成的结构性质可以使我们得到脱离困境的办法：先采用递归方法针对语句函项定义出满足概念，然后把语句作为语句函项的特殊形式，借助于满足概念最终可以得到类演算语言的真概念定义。

For if it be an immutable truth, that 'no man can call Jesus, Lord, but by the Holy Ghost,' it must be a truth equally immutable, that no one can have any Christlike temper, or power of goodness, but so far as he is immediately led and governed by the Holy Spirit.

假如"若不是圣灵感动就无人认耶稣"的真理是不改变的真理，那除非是圣灵的引导或管理，我们也无法有基督的性情和神圣的大能。

Christophe's endless pursuit of truth impels him to judge his translations with a criterion of truth.

克利斯朵夫对真理永无止境的追求激励着他用真理的标准衡量自己的译作。

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

His female bullfighter Lydia gradually Health love, but she was in a vegetative state after the Bulls Zhuangcheng away from her, just because Lydia's ex-boyfriend showed more affectionate than he is like love.

他对女斗牛士莉迪亚渐生爱意，却在她被公牛撞成植物人后离她而去，仅仅因为莉迪亚的前男友表现出好似比他更深情的爱。

I know of none which are not easy to answer, but what I am trying to do now is only by a series of hints to throw some light on the narrow path of legal doctrine, and upon two pitfalls which, as it seems to me, lie perilously near to it.

我不认为有什么难以回答的问题，但我现在要做的仅仅是通过一系列线索，来给法律理论的狭窄路径以及在我看来离它近得危险的两个陷阱提供一些启示。