查询词典 predicate logic

Much logic information is implicated in them and its logic value need to be further developed.

易卦中蕴含大量的逻辑信息，其逻辑价值有待开发。

Mathematics ; logic ; mathematics teaching ; logic value

数学；逻辑；数学教学；逻辑价值

As an excellent logician and philosopher in China and the most famous one in logic in China, JinYue-lin had some wonderful thoughts on philosophy of logic.

金岳霖是中国杰出的逻辑学家和哲学家，作为中国逻辑学界的第一人，他的逻辑哲学思想具有独到的特点。

Logicism holes that mathematics can be reduced to logic, but the logicists were beaten by the discovery of the set paradox, because they have not discerned the intrinsic differences between logic and mathematics.

逻辑主义认为数学可以化归为逻辑，集合论悖论的发现给逻辑主义者造成重大的打击，逻辑主义失败的原因在于他们没有看到逻辑与数学之间存在着质的区别。

Many\|valued Logic ; Fuzzy Logic ; Formal System L *; Extension L *; Completeness

多值逻辑；模糊逻辑；形式系统L*；扩张L*；完备性

Lin then concludes that one should look at Chinese legal tradition from the point of view of many - valued logic. Max Weber ; comparative legal sociology ; Chinese legal tradition ; many - valued logic

八十余年后，总算有一位华人社会学家超越对韦伯的敬畏，出来全面地批判韦伯关于中国法律传统的论断。23年，台湾大学社会学系的林端教授出

Material implication is an extremely important concept of modern logic,but we encountered a lot of problems as we attempted to analyze and explain the hypothetical proposition of natural language with material implication,this situation obstructs the aim of logic norm and people's correct thinking.

实质蕴涵是现代逻辑的一个极其重要的概念，但是用实质蕴涵理论来分析和说明自然语言中的假言命题却出现了许多解释不通的问题。这种状况有悖于逻辑规范和引导人们进行正确思维及表达的宗旨。

Material implication is an extremely important concept of modern logic,but we encountered a lot of problems as we attempted to analyze and explain the hypothetical proposition of natural language with material implication ,this situation obstructs the aim of logic norm and people s correct thinking.

实质蕴涵是现代逻辑的一个极其重要的概念，但是用实质蕴涵理论来分析和说明自然语言中的假言命题却出现了许多解释不通的问题。

It is well known that first-order logic and axiom set theory are two part of the whole mathematical logic.

众所周知，一阶逻辑与公理集合论是数理逻辑的两个组成部分，其中，一阶逻辑是数理逻辑的基础部分。

Traditional logic' s answer to this question seems to be self-evident, but mathematical logic makes this question complicated.

传统逻辑对这个问题的回答似乎是不言而喻的，但数理逻辑却使这个问题变得复杂起来。

I was just taking her hand, to help her out of a car, and I knew it.

我只是握着她的手，扶她下车，但我知道这一切。

China and South Korea have excoriated Japan over its approval of new school books which they say whitewash the atrocities committed during Japanese occupation, and anti-Japanese protests have been held in Chinese cities. The lingering bitterness over Japan's past imperialism still threatens to mar relations between the big East Asian powers

中国和韩国强烈谴责日本通过新的中学历史教科书，他们认为这一教科书掩盖了日本在其占领期间所犯下的残酷暴行，反日抗议活动在中国数座城市发生，历史上日本帝国主义制造的痛楚无法被忘却，这有可能破坏东亚强国间的关系。