查询词典 propositional

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.

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

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

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

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

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

This text will first introduce you one branch of symbolic logic,what is generally called sentential,or 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。

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.

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