查询词典 sequential logic

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.

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

The development of mathematical logic makes logic lose its significance and depart from the ontological discussion.

海德格尔从哲学探究的角度出发，对哲学和逻辑进行了深入的思考。

Professor Zhang Qing-yu gets paraconsistent modal proposition logic C〓G'on the base ofCosta's paraconsistent proposition logic system C〓.

张清宇教授在科斯塔的弗协调命题逻辑系统C 的基础上得到弗协调模态命题逻辑系统CnG＇。

If be model name, then all modificatory records need to come true in business logic, the advantage is to be able to transplant the gender is tall, defect is to invade business logic.

如果是模型名称，那所有的变更记录都需要在业务逻辑中实现，优点是可移植性高，缺点是侵入业务逻辑。

The controversy between the monist and pluralist conception of logic also happens in the field of logic teaching.

传统逻辑与现代逻辑的争论，主要表现在如何改革大学文科逻辑教材上，也表现在以哪种逻辑作为研究中国古代关于逻辑的理论发展史的工具更合适的问题上。

"Second Life is remarkably easy to work with, and is very popular,"

"第二次生命是显着容易的工作，并且很受欢迎，"

For example, we usually assume that materials are homogeneous and isotropic and free of internal defects or flaws.

为了得到适合有限元分析的模型，我们必须经过如图2所示的简化步骤。