查询词典 truth-function

You have only to witness a commuter train any morning or evening to see the truth of this.

你只要在哪天早晨或傍晚去看一看市郊火车上车厢的情景，就能见证这一点。

I am looking for love , truth, and companionship, for me and my two children.

我寻找爱情，信任，和陪伴，我和我的两个孩子。

That is,the truth value of an implication compound proposition is just the compatibleness degree of the actual implication degree or implication rate between its sub-propositions with the language value that describes the feature of implication relation in this compound proposition.

关于复合命题A→B本身的真值，传统逻辑中是由其支命题A、B的实际真值通过某种真值运算(二值逻辑中用"实质蕴涵"，模糊逻辑中有众多的"蕴涵算子")而求得。我们称这种求蕴涵型复合命题真值的方法为逻辑方法。

It is this fundamental truth that compels us to cooperate.

正是这一最基本的事实促使我们展开合作。

It is this fundamental truth that compels us to cooperate, President Obama said.

这个基本的真理促使我们不得不合作。

The sad truth is that we, as a church, have been complacently tolerant of forces within the organization which have literally sabotaged the Adventist principles we have defended for years.

悲哀的事实就是，我们作为一个教会已经沾沾自喜地容让了教会内某些势力的增长，这些势力确实地破坏了我们多年来所捍卫的复临信徒原则。

Because Horn-clause logic theory is of significance in both respects of theory and application, We especially studied lattice-valued Horn-clause logic with truth-value in lattice implication algebra, and the soundness and completeness theorem have been proved.

经典逻辑中，Horn子句逻辑理论具有广泛的应用，因而，本文中特别建立了基于格蕴涵代数的格值-类Horn子句逻辑，并证明了可靠性和完备性定理，这为建立一类基于格值逻辑这种非经典逻辑的人工智能语言将产生重要的作用。

Refering to the Godel's in completeness theorem,the logic implication of paramārtha truth can be rationally interpreted.

玄奘所传唯识学的唯识无境说仍有所本于陈那的《观所缘缘论》，该论主张所缘缘为识体起现时内蕴。

While there is a lot of truth in that, the issue of the learning curve remains: complex language features often do help experienced programmers and simplify their code, but the beginners mostly see the added pain of learning.

虽然有一种这非常真实的学习曲线的问题仍然是：复杂的语言特性，常常帮助有经验的程序员和简化他们的代码，但初学者大多看到学习增加痛苦。

The simple truth is that it is complicated and has been coming for a long time.

简单的事实是，这是复杂的，已很长一段时间来。

We have no common name for a mime of Sophron or Xenarchus and a Socratic Conversation; and we should still be without one even if the imitation in the two instances were in trimeters or elegiacs or some other kind of verse--though it is the way with people to tack on 'poet' to the name of a metre, and talk of elegiac-poets and epic-poets, thinking that they call them poets not by reason of the imitative nature of their work, but indiscriminately by reason of the metre they write in.

索夫农 、森那库斯和苏格拉底式的对话采用的模仿没有一个公共的名称；三音步诗、挽歌体或其他类型的诗的模仿也没有——人们把&诗人&这一名词和格律名称结合到一起，称之为挽歌体诗人或者史诗诗人，他们被称为诗人，似乎只是因为遵守格律写作，而非他们作品的模仿本质。

The relationship between communicative competence and grammar teaching should be that of the ends and the means.

交际能力和语法的关系应该是目标与途径的关系。