查询词典 propositional connective

Finally,a simplified case of BOFL,i.e.Boolean Operator Propositional Logicestablished on a Boolean algebra,is further discussed.A complete algorithmfor finding the true level and false level of a formula in BOPL,which subsumes the re-lated work by Wang H.in the propositional logic,is also provided.

对布尔算子模糊逻辑的简化情形一布尔算子命题逻辑作了进一步讨论，放宽了对真值域的要求，将布尔算子命题逻辑建立在布尔代数上，并推广了命题逻辑中的王浩算法，给出了一个完备的求给定公式恒真水平和恒假水平的机械推导算法。

As most of the present decision methods of propositional formulas are based on semantics and cannot give an important reference in many reasoning applications, namely deduction procedure, a deduction-based decision method that can give the deduction procedure during the decision procedure is presented based on the propositional calculus system L.

目前命题公式的判定方法大都是基于语义的，不能给出演绎过程，而演绎过程是许多推理性应用的重要依据。

A renaming is a function mapping propositional variable to itself or its complement, a variable renaming is a permutation over the set of propositional variables of a formula, and a literal renaming is a combination of a renaming and a variable renaming.

许道云 ，董改芳，王健改名是一个将变元映射到变元本身或它的补的函数，变元改名是公式变元集合上的一个置换，文字改名是一个改名和一个变元改名的组合。

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

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

In the field of propositional logic in computer logic, the Logic Equivalent of propositional is fundermental.

在逻辑语言的命题演算中，命题式的等价是一个基础性的问题，在判定命题式等价问题中，真值表示比较常用的一个方式。

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

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

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 witness also told the jury at the Royal Courts of Justice in London that he saw a paparazzo fighting with a member of the public who was trying to stop him taking pictures in the minutes before the emergency services arrived.

他还告诉在伦敦皇家法庭的陪审团，在急救服务到来之前，他当时看见一个狗仔队正和一群阻止他拍照的人打架。

The entire N／C program on a tape is made up of an accumulation of these successive data blocks.

纸带上的整个数控程序由这些连续数据单元连接而成。