查询词典 predicate logic

In 1879, the publication of ""Concept Writing"" marks the foundation of propositional calculus and the predicate calculus —— the basic part of mathematical logic.

1879年《概念文字》的出版，标志着数理逻辑的基础部分——命题演算和谓词演算正式建立。

Thus,§ 2.3 adds truth constants as special formulae to L* predicate logic and axioms about truth constants. The truth degree and the provability of a formula are proposed.

R_0代数是为适应系统研究的需要而提出的，因此对R_0代数作进一步的讨论有助于加深对分系统的认识。

Aristotle not only invented syllogistic reasoning but also gave such a thorough analysis of the subject-predicate relation and all syllogistic forms that this method, now called deductive logic, has virtually remained unchanged to this day.

亚里斯多德不仅发明了三段论推理的方法，还极为彻底地研究了这种命题-推断模式，掌握了三段论推理过程的所有形式。直到今天，这种方法依然维持着最初的状况，我们现在称其为演绎逻辑。

The first order predicate logic features, which appear in the axiom clause, include: existence quantifier'exist', universal quantifier'all','find, and'find all'.

语法正确性的检查与传统的语法分析程序所做的工作类似，采用递归子程序分析法。

I believe that it's very useful for Computer science students who learning Boolean algebra and predicate logic.

我相信对于学习布尔代数学和谓词逻辑的计算机科学学生来说它是非常有用的。

In the same time,from the view point of abstract algebra,the homomorphism between disturbing fuzzy logic operator group and class fuzzy logic operator group is studied.

从而使经典模糊逻辑的概念及性质得到进一步的推广，同时也揭示了在这种由一维到二维的推广中存在的问题。

The thesis will begin with the introduction of counterpart of English judicial review. According to the unscramble of counterpart prejudication in the history of Britain, I will abstract the logic category of "administrative discretion------the principle of reasonableness", and based on the logic category, I will point out that if want to justify the review of court on the administrative discretion such as "misuse of authority"and "apparently inequitable administrative punishment", we must induct the principle of reasonableness. And based on the material of concrete cases, I will analyze that there still are states of unreasonable execution of administrative discretion in the rest representations of unlawfulness in the 54th provision of our statute law of administrative litigation.

本文首先考察英国合理性审查原则的相关制度，通过解读英国历史上重要相关判例，提炼出"行政裁量权——合理性审查原则"这一逻辑规范范畴，并以此范畴为切入视角，指出，要在理论上正当化法院对"滥用职权"和"显失公正行政处罚"等行政裁量权的司法审查，必须引入合理性审查原则，并以具体案例为材料，通过分析得出，在《行政诉讼法》第54 条的其他违法表现形式中，都有行政裁量权不合理行使的情形存在，并指出，产生这种现象的原因是，《行政诉讼法》第54 条规定的七种违法表现形式采取的是不同的分类标准。

According to the pattern, the traditional judgment logic phalanx may find out the equivalence description in uniting calculation. In addition, all efficient formulas of traditional lexical logic become the external true formula without exception, and the inefficient become the external false.

在这一模式下，传统直言判断的逻辑方阵在联合演算中可以找到等价的描述，不仅知此，传统词项逻辑的所有有效式在联合演算中无一例外地是永真式，而传统词项逻辑的所有无效式在联合演算中无一例外地是永假式。

But for China's diplomacy, the tragic ending is probably losing own behavioral logic into American great-power logic to adopt America-like diplomatic policy, which is not alarmism.

但就中国外交而言，最悲惨的结局可能就是失去了自己的行为逻辑而陷入美国的大国逻辑，采用美国相仿的外交政策。

Difference from other algebraic structures which are introduced for some logic system, Implication Algebra is a abstraction of one logic connective, i. e. implicative operator, and other operators in it are all introduced by implicative operator.

特别值得提出的是，与其它为研究逻辑系统而引入的代数结构不同，蕴涵代数是对一个逻辑联结词，即蕴涵算子抽象而得到的，其它算子均是由蕴涵算子诱导而得到。

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.

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