查询词典 propositional logic

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公司，人工智能，硬件设计，电子设计自动化，以及核查。

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 呈现一项被发展的分析在某种意义上概念地被详细地说明，描述地详细说明，和观念-数据渗透

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能被认为落在两者之间：一方面单纯的命题内容，另一方面是经验，其内容被命题的组装所表达。

Later, based on the same idea, Li Jun gave the theory of truth degrees of formulas in many-valued Lukasiewicz propositional logic and canonical sequence logic system.

随后李骏基于相同思想给出了Lukasiewicz多值命题逻辑与标准序列逻辑系统中公式的真度理论。

My thesis built the theory of predicate logic on the basis of L* propositional logic.

本文在命题逻辑的基础上以系统为背景建立谓词逻辑理论。

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.

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

This paper works on propositional logic system in Computer Logic.

本论文研究了计算机数理逻辑中的命题演算部分内容。

First order logic is a most important concept in the field of propositional logic.

而一阶谓词逻辑化为其前束范式是命题演算的重要步骤。

fuzzy reasoning and fuzzy propositional logic are topics of general interest in many-valued logic.

模糊命题逻辑系统和模糊推理是多值逻辑研究的热点课题。

As a dominant party,CPC government should play a guardian,supervisee and guarantee role to overcome all the difficulties in the development of charitable cause and bring it into full play in the establishment of harmonious society on policies and regulations basis.

在中国共产党的文献中第一次把发展慈善事业提到&最广泛最充分地调动一切积极因素，不断提高构建社会主义和谐社会的能力&的高度来认识。近年来，社会学界对慈善事业的理论专著发表较多，有鉴于此，笔者不揣浅陋，谈谈自己的认识和见解。

Flow through the land, the land of the scale of operation allows the effectiveness of the land may be raised.

通过土地的流转，土地的规模经营可以让土地的效益得到提升。