查询词典 propositional logic

One of the basic differences between sentencial logic and quantifier logic,or predicate logic,is that in sentential logic we take the sententially simple sentence as an unanalyzed whole,while in predicate logic we analyze these simple sentences into their component parts.

句子逻辑与限定逻辑或谓词逻辑的基本区别之一是句子逻辑中，我们把一个简单句看作未经分析的整体，而谓词逻辑中我们分析这些简单句，分析出他们的组成部分。

One of the basic differences between sentencial logic and quantifier logic,or predicate logic,is that in sentential logic we take the sententially simple sentence as an unanalyzed whole,while in predicate logic we analyze these simple sentences into their component parts.3 f0 o j: W

句子逻辑与限定逻辑或谓词逻辑的基本区别之一是句子逻辑中，我们把一个简单句看作未经分析的整体，而谓词逻辑中我们分析这些简单句，分析出他们的组成部分。

In the second stage (1958-1968), he was influenced by the new development in the Philosophy of Logic, paying closer attention to Modal Logic, Intensional Logic, Higher-Order Logic, the Philosophy of Logic and so on.

第二阶段（1958-1968）受逻辑哲学最新发展的影响，更关注模态逻辑、内涵逻辑、高阶逻辑及逻辑哲学等方面的问题。

AVP2+6 环绕声模式:THX Ultra , Pro Logic , Pro Logic +THX , Pro Logic ⅡMovie , Pro Logic Ⅱ+THX , Pro Logic ⅡMusic , stero surround , mono surround , mono on center, mono on front , 2-ch/ surround off , Dolby Digital , Dolby Digital + THX , DTS ,DTS +THX .

关于AVP2的影院效果，gauss2000 兄早有评测，这是他发在家电的帖子链接：为方便查阅，我把主要内容转过来

At the same time, the pluralists oppose the one-sided understanding of logic, and take both traditional and modern logic, both formal and dialectical logic, both reductive and inductive logic as logic.

古代关于逻辑的思想看作一个尚未确定的领域，从而也就不能不注意到对象与工具相统一的方面，在对象的内容范围尚不确定的情况下，我们研究的工具完全可以是多元化的，既要用传统逻辑的工具，也要用现代逻辑的各分支所提供的工具去研究，最低限度这种研究可以是尝试性的，但尝试性研究是科学研究的必经阶段。

The school of abstract logic holds that logic deals with the validity of argument, which is completely abstracted from the context of the argument used, and is essentially deductive logic and monotonic; while the school of embedded logic insists that logic is the study of standards for good arguments in real life, therefore it is essentially non-monotonic.

对这个问题的两种不同回答，形成了逻辑学的两个学派－抽象逻辑学派和具体逻辑学派。抽象派主张逻辑学是研究有效论证的科学，具体派则认为逻辑学是研究好论证的标准的科学。

The so-called Chinese Logic refers to ancient Chinese Logic. In other words, it is the traditional Chinese Logic which was not influenced from the western Logic composed mainly by Aristotelian Logic.

所谓中国逻辑，指&中国古代逻辑&，换句话说，就是指以亚里士多德逻辑为传统的西方逻辑传入中国之前的，未受其影响的中国传统逻辑。

But the content of a situated thought cannot be fully captured as propositional content: the content as delivered by the situatedness of the thinker essentially extends beyond anything that the mere propositional construal of the content can deliver.27 Because of this, although the over-all form of a transcendental argument might seem to be of a deductively valid argument e.g.

但是a situated thought的内容不能被完全把握为命题内容：内容作为被思者的situatedness给出，本质上超出了对纯粹的命题解释所能给出的内容。

As most of the present decision methods of propositional formulas are based on semantics and cannot give an important reference in many reasoning applications, namely deduction procedure, a deduction-based decision method that can give the deduction procedure during the decision procedure is presented based on the propositional calculus system L.

目前命题公式的判定方法大都是基于语义的，不能给出演绎过程，而演绎过程是许多推理性应用的重要依据。

A renaming is a function mapping propositional variable to itself or its complement, a variable renaming is a permutation over the set of propositional variables of a formula, and a literal renaming is a combination of a renaming and a variable renaming.

许道云 ，董改芳，王健改名是一个将变元映射到变元本身或它的补的函数，变元改名是公式变元集合上的一个置换，文字改名是一个改名和一个变元改名的组合。

When I started coding, I had problems with the ASF file writer.

当我开始编码，我曾与ASF文件作家的问题。

I know that in one of the schools the boys have risen up in the classroom and enlisted in a mass.

如果你们也和他们一样，是集体自愿的话，你们的老师将是多么地光荣啊。