查询词典 propositional function

This paper summarizes some inferential proof methods in propositional logic and predicate logic by using some examples.

本文结合适当的例题总结了命题逻辑和谓词逻辑的几种常见推理证明方法。

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

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

And the proposition is the propositional sign in its projective relation to the world.

一个命题就是一个处在对世界的投影关系中的命题符号。

The third part proposes in Luk the concept of lattice-valued truth degrees based on the second part by generalizing truth values from the MV-unit interval(a special MV-algebra) to a general MV-algebra. And the properties of lattice-valued truth degrees suggest that this generalization is natural and reasonable. Because of the equivalence between the two algebra systems, i.e. MV-algebra and lattice implication algebra, it's natural and easy to grade the truth of formulas in lattice-valued propositional logic whose basic algebra system is the lattice implication algebra.

中。 本文第三部分在第二部分的基础上，将Luk中公式的真度值推广到了一般的MV代数上，相对于第二部分的数值真度，给出公式的格值真度，并通过格值真度的性质说明格值真度是数值真度的合理推广。

The model for deductive theory is the propositional calculus.

演绎推理理论的模型是命题演算。

By using the model of this interpretation, the reliability theorem and the uniformity theorem are proved of the propositional calculus plus syllogistic system.

本文最主要的工作是建立了三段论的一种解释，并且在这种解释模型中，证明了命题演算+三段论系统的可靠性定理，一致性定理，还从语义角度，对项的周延性等问题发表了一些意见。

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

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

The formal deductive systenm for Fuzzy propositional calculus, R0-algebras and BR0-algebras have been studied. The concepts of WBR0-algebras are proposed, the relationship between it and BR0-algebras has been investigated, the definition of basis BR0-algebras is simplified. Based on discussing the relationship between regular FI-algebras and regular residual lattice, the relationship between FI-algebras and basis R0-algebras has been investigated.

研究了王国俊教授建立的模糊命题演算的形式演绎系统L和与之在语义上相匹配的R0-代数以及吴洪博教授提出的基础R0-代数和基础L系统，提出了WBR0-代数的观点，讨论了它与BR0-代数的关系，简化了BR0-代数的定义，在讨论正则FI-代数与正则剩余格之间关系的基础上，讨论了BR0-代数与FI-代数的相互关系。

We study the properties of BR0-algebra and the total complication triple I method on complete BR0-algebra, and we apply the results to R0-Unite interval W. Not only we have simplified the proof of the results of R0-type triple I method on R0-Unite interval W, but also we make the proof to combine with the formal deductive system for fuzzy propositional calculus. This work also explains that the R0-type triple I method is a matching fuzzy inference with B?

研究了基础BR0-代数的性质和基于完备基础BR0-代数的全蕴涵三I算法，对—般蕴涵算子给出了三I算法解存在的—个充分条件，并将结果应用于R0-单位区间W，不但极大的简化了R0-单位区间W的R0-型α-三I算法结果的证明，而且使其证明过程与相应的模糊命题演算系统结合起来，说明了R0-型三I算法是与B？

Prelinearity residuated-lattice; BL-algebra; BR_0-Algebra; Propositional Calculus System PL~*; Weak Lattic Implication-Algebra

基础科学，数学，数理逻辑、数学基础预线性剩余格； BL代数； BR_0代数； PL~*系统；弱格蕴涵代数

A backer of an Afghan law that critics say legalizes marital rape has rejected the international outcry as foreign meddling.

饱受批评的一项法律的拥护者说合法化的婚内暴力不会受国际舆论的干涉。

Years ago, a ancient Egyptian fleet went to the Land of punt for seeking a kind of flavor named "myrrh", and aromatic plants which has dense exotic style for the queen Hatshepsut.

3500年前的一个古埃及的舰队到&彭特之地&寻找一种叫没药的香料。