命题逻辑

This thesis has given atomic proposition a detailed explanation which conforms to the objective and practical semantics of Lin's Entailment Logic .

本文给出了原子命题的详细而又符合客观实际的制约逻辑语义学解释。

This paper carries out full analysis on Aristotle's theory on categorical proposition and points out that he introduced,for the first time in logic history,term variable,established opposition matrix,and laid basis for syllogism.

对亚里士多德的直言命题理论作了全面的分析，指出亚里士多德在逻辑史上第一次引进词项变元，建立了对当方阵，为三段论奠定了基础。

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)函数依赖一个数据依赖是关于关系数据库中关系的属性值之间的相关关系的一个命题，它规定了一个关系数据库的规范所满足的完整性约束条件。

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类复合规则的无损分解，同时避免了该类复合规则的出现需引入新的命题而导致规则矩阵规模增大的问题。

Logic an attribute of a logical system that is so constituted that none of the propositions deducible from the axioms contradict one another.

内部所有的命题都不具有可逆性一个逻辑系统所具有的属性。

However, when a proposition P is determinately specified for our consideration and then found, for principled reasons, to be not conceivably true, that is surely some kind of strong evidence against the claim that P is logically possible.

无论如何，当一个命题P是对我们的设想是确定地特定的，那么原则上说，发现不是可设想为真的，这是一类强证据反对P是逻辑可能的。

A new complete disjunctive normal form, which is in the sense of equivalence, to an extension system of medium logical proposition calculus MP is defined and the theorem of its existence and uniqueness is established and proved.

讨论中介逻辑命题演算扩张系统MP＊中在等值意义下的完全析取范式的存在性和唯一性。引入MP＊中等值全析范式的概念，并用分步构造法证明这种范式在等值意义下是存在的，且是唯一的。

22 The logic of the world, which is shown in tautologies by the propositions of logic, is shown in equations by mathematics.

6.22 逻辑命题在重官式中显示的世界的逻辑，数学在等式中显示出来。

Him concern of advantage of horse of battlefield Trojan unconscious elder brother can be immersed in worry logistic proposition in, looked for an excuse to plead, he says to Qiu Jier:"Premier gentleman, you know, have a such adage:' understand and kiss can produce light thin bamboo strip ' perhaps I study logic the more, meet more despise it."

战场勇士蒙哥马利担心自己会陷入纠缠不清的逻辑命题中，在阿拉曼战役之前夕，丘吉尔召见了他的得力将领蒙哥马利将军。在谈话中，丘吉尔提议他应该研究一下逻辑。

Traditional logic and modern logic have some defects in analyzing the hypothetical proposition of natural language.

传统逻辑和模态逻辑在分析自然语言假言命题方面都存在缺陷。

And Pharaoh spoke to Joseph, saying, Your father and your brothers have come to you.

47：5 法老对约瑟说，你父亲和你弟兄们到你这里来了。

Additionally, the approximate flattening of surface strip using lines linking midpoints on perpendicular lines between geodesic curves and the unconditional extreme value method are discussed.

提出了用测地线方程、曲面上两点间短程线来计算膜结构曲面测地线的方法，同时，采用测地线间垂线的中点连线和用无约束极值法进行空间条状曲面近似展开的分析。