查询词典 propositional logic

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 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.

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

The above all the theory of truth degrees of formulas are proposed in propositional logic.

以上各种真度理论都是在命题逻辑中给出的，对于谓词逻辑而言，建立公式的真度理论要复杂得多。

The last part is analysis of dyadic normative propositional logic from the scienceof law.

第五部分主要从法律角度对二元规范命题逻辑做一些简要的评论。

Using propositional logic to represent knowledge about color, a retrieval method that uses textual word is presented.

从颜色信息出发，构造一组关于颜色搭配和颜色象征含义的图象特征，使用命题逻辑表达有关色彩的知识，提供一种使用词语的图象检索方法。

These completeness results further make a great improve on the lattice-valued propositional logic system LP .

这些研究结果进一步丰富和完善了格值命题逻辑系统LP。

And obviously p,q/r is not valid according to the canons of propositional logic.

两个论证都必须简单地符号化为p，q/r，因为他们每一个都只包含有三个不同的非复合句子，并且很明显p，q/r的形式按照命题逻辑的原则不是有效的。

A kind of calculus method that is used to determine the truth-values of propositional logic formulae by means of the dynamic neural networks is proposed. It is not necessary that the formulae be simplified into normal form.

提出一种利用神经逻辑单元动态地构造神经网络的算法来对一些逻辑系统中的逻辑公式的真值进行计算。

He's a pretty westernised kind of guy.

他是一个非常西化的人。

National spirit is the moral kingpin for a nation to realize common ideal and goal.

一、中华民族精神的基本内涵党的十六大报告指出：在五千多年的发展中，中华民族形成了以爱国主义为核心的团结统一、爱好和平、勤劳勇敢、自强不息的伟大民族精神。