查询词典 propositional

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 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 absorption and distribution of chromium were studied in ryeusing nutrient culture technique and pot experiment.

采用不同浓度K2CrO4(0，0.4，0.8和1.2 mmol/L)的Hoagland营养液处理黑麦幼苗，测定铬在黑麦体内的亚细胞分布、铬化学形态及不同部位的积累。

By analyzing theory foundation of mathematical morphology in the digital image processing, researching morphology arithmetic of the binary Image, discussing two basic forms for the least structure element: dilation and erosion.

通过分析数学形态学在图像中的理论基础，研究二值图像的形态分析算法，探讨最小结构元素的两种基本形态：膨胀和腐蚀；分析了数学形态学复杂算法的基本原理，把数学形态学的部分并行处理理念引入到家实际应用中。