查询词典 propositional calculus

Furthermore, we discuss the truth degree of the propositional formula in two-valued propositional logic system.

并对命题公式的蕴涵问题进行等价描述；对二值命题逻辑系统的程度化研究中命题公式的真度问题进行讨论。

The propositional satisfiability problem, which decides whether a given propositional formula is satisfiable, is of central importance in various areas of computer science, including theoretical computer science, algorithmics, artificial intelligence, hardware design, electronic design automation, and verification.

该命题可满足性问题，决定是否给定的命题公式是满足，是至关重要的各个领域的计算机科学，计算机科学等理论， Algorithmics公司，人工智能，硬件设计，电子设计自动化，以及核查。

To learn about logic more we need to know about proposition, propositional operators and propositional operators.

要了解更多的逻辑，我们需要了解命题，命题命题运营商和运营商。

In the ethnography research study, an investigator（a attempts to provide generic propositional answers to questions about social life and organization; strive to pursue such an attempt in a spirit of unfettered or naturalistic inquiry; utilize data based on deep familiarity with a social setting or situation that is gained by personal participation or an approximation of it; develops the generic propositional analysis over the course of doing research; strives to present data and analyses that are true; seeks to provide data and /or analyses that are new; and （g presents an analysis that is developed in the senses of being conceptually elaborated, descriptively detailed, and concept-data interpenetrated

在民族志学中研究研究，调查员（一尝试提供关于社会的生活和组织的总称问题的建议答案；努力解开脚链在精神中追求一种如此尝试或自然的质询；利用以有一种社会的设定或被个人分享或一个它的近似值得到的情形深亲密为基础的数据；发展在做研究的课程上的总称建议的分析；努力呈现数据而且分析那是真实的；提供数据及分析那的找寻是新的；而且（ g 呈现一项被发展的分析在某种意义上概念地被详细地说明，描述地详细说明，和观念-数据渗透

The theory of ∑-α-tautologies of fuzzy propositional logic was combined with the theory of truth degree in metrology of logic introduced by professor G.J.Wang, and the theory of ∑Γ－fuzzy truth degrees of formula relative to the finite theory in propositional logic system n was introduced.

将模糊命题逻辑系统中的∑-理论与计量逻辑学中的真度理论相结合，在n-值Lukasievicz模糊命题逻辑系统Ln中引入了公式相对于有限理论的∑Γ－模糊真度理论，讨论了其中的主要性质。

In this respect the situated thought can be considered to fall between, on the one hand, the bare propositional content, and on the other, an experience the content of which is expressed by that propositional articulation.

在这个方面，the situated thought能被认为落在两者之间：一方面单纯的命题内容，另一方面是经验，其内容被命题的组装所表达。

The rules of modus ponens are given and the main results of propositional calculus in two-valued logic.

本文利用有补T-范建立了一类Fuzzy命题演算系统，给出了假言推理规则，推广了二值逻辑中命题演算的主要结果，且演算简单方便。

Elementary logic and Algebra Propositional calculus, quantifiers.

初等逻辑和代数命题演算，量词。

We study the properties of $BR_0$-algebra and the total complication triple I method on complete $BR_0$-algebra, and we apply the results to $R_0$-Unite interval $\overline{W}$. Not only we have simplified the proof of the results of $R_0$-type triple I method on $R_0$-Unite interval $\overline{W}$, but also we make the proof to combine with the formal deductive system for fuzzy propositional calculus. This work also explains that the $R_0$-type triple I method is a matching fuzzy inference with $B{\cal L}^*$ system.

研究了基础$BR_0$-代数的性质和基于完备基础$BR_0$-代数的全蕴涵三I算法，对一般蕴涵算子给出了三I算法解存在的一个充分条件，并将结果应用于$R_0$-单位区间$\overline{W}$，不但极大的简化了$R_0$-单位区间$\overline{W}$的$R_0$-型$\alpha$-三I算法结果的证明，而且使其证明过程与相应的模糊命题演算系统结合起来，说明了$R_0$-型三I算法是与$B{\cal L}^*$系统相匹配的模糊推理方法。

The model for deductive theory is the propositional calculus.

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

The system can be widely used in belt weighing and batching process control,etc.

介绍了基于智能模糊控制的嵌入式配料系统的设计方法，对模糊PID控制过程和系统调零作了重点的讨论，同时给出了PID控制的程序流程图和系统定长调零子程序。

"I dunno," she answered,"but if you show me aroun', I'll recognize it from the lighthouse just outside the porthole."

"我不知道，"她回答说，"如果你能带我转转，我能认出来的，因为灯塔就在舷窗外。"