查询词典 logic level

At the base of first order predicate logic this paper construct a strategy logic reasoning machine model, and discuss the correctness of this model.

在谓词逻辑的基础上构造了一个基于策略逻辑的推理机模型，并对模型的正确性做了讨论。

Moreover, predicate logic is the generalization of propositional logic and possesses larger flexibility, so it is very difficult for students to grasp.

而谓词逻辑是命题逻辑的推广，其灵活性就更大，故很难掌握。

Prenex normal form of the first order logic propositional is the key to propositional logic. Generally, there are three steps to change get a prenex normal form: first of all get rid of the connection word; Secondly, make the negative word to the front of every atomic.

对于一阶谓词化为其前束范式问题，一般可以通过三个步骤完成，首先去掉逻辑式中的连接词；其次将否定词深入到各原子公式中；最后利用永真等价式将量词逐个移到式子的前部。

In methodology,to such problems as follows attention should be paid:compling with the rules of dialectical logic,laying stress on the integration history with logic,insisting on the principle of distilling abstraction from concrete.

在方法论上，遵循辩证逻辑的要求，强调历史和逻辑的统一、从抽象上升到具体的原则。

This paper works on propositional logic system in Computer Logic.

本论文研究了计算机数理逻辑中的命题演算部分内容。

The system showed the procedures of the propositional logic. It is valuable and useful for teaching propositional logic.

程序演示了符合要求的命题式的真值求值过程以及前束范式的化简过程，具有较好的教学演示功能，对计算机辅助教学有一定的现实意义。

First order logic is a most important concept in the field of propositional logic.

而一阶谓词逻辑化为其前束范式是命题演算的重要步骤。

fuzzy reasoning and fuzzy propositional logic are topics of general interest in many-valued logic.

模糊命题逻辑系统和模糊推理是多值逻辑研究的热点课题。

This text will first introduce you one branch of symbolic logic,what is generally called sentential,or propositional,logic.

本课首先将向你介绍符号逻辑的一个分支，即通常认为成为的句子逻辑或命题逻辑。

This paper introduced the some theories of propositional logic, and gave the Computer implementation of the propositional logic calculations based on VC++.

本文在对数理逻辑领域的命题演算课题进行理论研究的基础上，对命题式的真值计算和一阶谓词命题式的前束范式化简进行了基于 VC++平台的编程实现。

It is suggested that TDS can be used as a new method for the analysis of pedogenesis and climatic change.

总之，热处理过程中磁化率的变化能非常灵敏地反映磁性矿物的转化情况，而且，这种转化往往与样品所经历的土壤化作用强度密切相关，因此，TDS可做为分析成土作用强度和古气候变化的一种新方法。

Therefore, in this chapter, I will research into the conflict and contradiction of the paternity. Also, in this novel, the father's behavior of "He who loves well chastises well." is quite suspicious, one of the reasons is that the father thought his son belonged to him. And then, this thesis quoted Lacan's theory to touch upon that someone who has accepted the concept of patriarchal society, he will be influenced for his whole life. That also reveals that human being has no choice sometimes in this society.

因此本章会先就父子关系的冲突与矛盾做深入的探讨，小说中的父亲似有对儿子爱之深责之切的行为，其原因可能在於父亲将儿子视为所有物所致；其次，论文将引用拉冈相关理论，讨论在父权社会中，不论身分为何，只要是已受父权社会观念根深蒂固影响的人物，终生都将受其所苦，此也揭示出人生存於社会上的无奈。