查询词典 propositional function

This paper attempts to discuss a kind of non - exact inferences bassed on the model of possible worlds and explains their application in propositional logic and syllogism inference.

借助于可能世界模型，讨论了一类非精确推理，并将其应用于命题逻辑和三段论推理

To describe reasoning methods such as minimizing,multiple reasoning,multi-dimensional reasoning etc.,corresponding rules of inference in lattice-valued propositional logic L_ are introduced.

为描述取小、多重推理、多维推理等实际推理方法，在格值命题逻辑系统Lvp l中，引入了几类相应的推理规则。

Based on test-score semantics, the canonical method for fuzzy propositions and the organization of fuzzy knowledge base are discussed, and the inference mechanisms of fuzzy expert systems, i.e the fuzzy logic inference for unqualified propositions, the intersection/product syllogism , the consequent conjunction syllogism and the inference of propositional chain ...

基于测试-评分语义学，重点探讨了模糊命题的规范化方法和模糊知识库的组织，研究了模糊专家系统的推理机制：对未限定化命题的模糊逻辑推理；对量化命题的交/积三段论推理，推论连接三段论推理以及命题链的推理。

To describe reasoningmethods such asminimizing, multiple reasoning, multi-dimensional reasoning etc., corresponding rules of inference in lattice-valued propositional logicLvplare introduced.

为描述取小、多重推理、多维推理等实际推理方法，在格值命题逻辑系统Lvpl中，引入了几类相应的推理规则。

In this paper , we propose a new description method of information processing systems based on propositional logic.

本文针对以上功能，提出了基于命题逻辑的信息处理系统的新的需求描述方法。

To solve the satisfiability problem in propositional logic, many algorithms have been proposed in recent years.

命题逻辑可满足性问题是计算机科学中的一个重要问题。近年来许多学者在这方面进行了大量的研究，提出了不少有效的算法。

This paper works on propositional logic system in Computer Logic.

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

This paper presents a method for model checking Propositional Projection Temporal Logic formulas based on SPIN.

本文提出了一种基于命题投影时序逻辑的模型检查方法。

But again,these are sententially simple sentences,and thus are not amenable to treatment by propositional logic.

它们是我们在句子逻辑中所称的简单句，即被看作一个位经分析的句子整体。

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

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

Fostering the concept of multi-culture firmly and mastering the development of advanced culture correctly are conductive to resisting terrorism, separatism of nationalities and ultraism of religion, which is of great academic theoretical, immediate and profound historical si...

牢固树立多元文化的理念和正确把握先进文化的发展方向，有助于在世界范围内自觉地抵制恐怖主义，民族分裂主义和宗教极端主义。不仅具有重大的学术理论意义，而且也具有重大的现实意义和深远的历史意义。

But if anyone walks in the night, he stumbles, because the light is not in him.

11：10 若在黑夜行走，就必碰跌，因为那光不在他里面。