命题

In the present of wide application of computer network, it is not a dream to realize office automation with the help of network, the whole process of making paper may use library and graph library to complete easily.

在计算机网络与技术普遍应用的今天，借助网络实现办公自动化已不是梦想，命题制卷的整个过程也可以利用网上的题库和图库轻松完成。

This paper firstly introduces the concept of least function dependence set and the minimal fixed point theory, and then analyzes the relation between closure of function dependence set and complete lattice, and puts forward analyzes a concrete solution of least function dependence with use of minimal fixed point theory.

本文尝试采用严密的逻辑方法，利用最小不动点理论去求解最小函数依赖集。1最小函数依赖集(1)函数依赖一个数据依赖是关于关系数据库中关系的属性值之间的相关关系的一个命题，它规定了一个关系数据库的规范所满足的完整性约束条件。

At last, we give two simplified proof for the necessary lemma in order to prove the completeness theorem of PI resolving.

第二部分：基于均匀概率的思想，给出了Godel和Kleene三值命题逻辑系统中公式的真度理论。

The soundness and completeness theorem of this method were proved at last. This part consists of the following points: 1. The properties of the indecomposable extremely simple form of LP were discussed, the theorem shown that every logical formula of LP was equals of a generalized conjunction normal form. 2. The method for judging a logical formula is a indecomposable extremely simple form or not was discussed, the necessary and sufficient conditions of a logical formula with not more than three implicative connective being a indecomposable extremely simple form was given. 3. The α-resolution fields of the indecomposable extremely simple form of LP were discussed, some elementary results were obtained. 4. The automated reasoning method based on the resolution principle of classical logic was discussed, the author given a method to describe the set of clauses by using a matrix, and translated the resolution of two clauses to column operations of this matrix.

二、关于格值命题逻辑系统LP中α-自动推理方法的研究 1、对LP中不可分极简式的性质进行了研究，证明了LP中任何一个格值逻辑公式等值于一个广义合取范式； 2、对LP中不可分极简式的判定方法进行了研究，讨论了含有不超过3个蕴涵运算的格值逻辑式为不可分极简式的充分必要条件； 3、对LP中不可分极简式的α-归结域进行了研究，得到了一些基本结果； 4、对经典逻辑中基于归结原理的自动推理方法进行了研究，给出了用符号矩阵表示子句集合的一种方法，把不同的归结过程转换成矩阵的列变换。

And as a try to build a historical science and a guide to social revolution, historical materialism did formulated a kind of law within the scope of empirical sciences. The theory of "composition of forces" only partly explained the regularity of history.

合力论只是部分地解决了社会历史的合规律性的问题，而要证明唯物史观的基本命题，阐明社会历史规律是内在地合目的的，必须依靠目的论和功能解释。

For the first time, we propose the Ternary production rule and Ternary rule matrix , then use MVL to decompose the compound rules, which both realize lossless decomposition of the 4〓 type of compound rule and avoid rule matrix's dimension increase for introducing new proposition to substitute the compound recondition.

首次提出并使用三值产生式规则及三值规则矩阵，创造性的将多值逻辑用于复合产生式规则分解，很好地实现了4类复合规则的无损分解，同时避免了该类复合规则的出现需引入新的命题而导致规则矩阵规模增大的问题。

Based upon RMTong's thought of regarding fuzzy model as the set of fuzzy conditional proposition by converting the accurate value into a fuzzy one, the structure of a fuzzy system formed by alloy element adding amount and material characteristic norm is determined, and then the fuzzy model of the system is built.

根据RMTong把模糊模型看作是模糊条件命题的集合这一基本思想，通过精确量的模糊化，确定了合金元素加入量与材料性能指标组成的模糊系统的结构，建立了该系统的模糊模型，为研究合金加入量对材料性能的影响提供了一种普遍意义下的新方法

Logic The conditional member of a hypothetical proposition.

前提，前提条件：假设命题中的条件

From this, this weighs the weak environment that offerred construction and development of agriculture of perfect our country to be inscribed confoundedly.

由此 ，便提出了建设和完善我国农业发展的软环境这一重要命题。

But face this one new situation , how be bred and form new economic point of growth , one when become our country economy to achieve significant growth and healthy progress undoubtedly is inscribed confoundedly again .

但面对这一新形势，如何培育和形成新的经济增长点，无疑成为我国经济实现有效增长和健康发展的一个重要命题。

I didn't watch TV last night, because it .

昨晚我没有看电视，因为电视机坏了。

Since this year, in a lot of villages of Beijing, TV of elevator liquid crystal was removed.

今年以来，在北京的很多小区里，电梯液晶电视被撤了下来。