查询词典 propositional logic

A formula of propositional logic is said to be satisfiable if logical values can be assigned to its variables in a way that makes the formula true.

公式命题逻辑被认为是符合要求，如果逻辑值可分配给它的变量的方式，使真正的公式。

By means of infinite product of evenly distributed probability spaces,the concept of truth degrees of propositions in 3-valued logic systems W_3,G_3,Π_3 and S_3 are introduced,and some properties of distribution of propositional truth degree and certain inference rules are obtained.

利用势为3的均匀概率空间的无穷乘积在W3、G3、Π3及S3系统中引入了公式的真度概念，得到了命题真度分布的一些性质，同时给出了三值真度推理规则。

The rules of modus ponens are given and the main results of propositional calculus in two-valued logic.

本文利用有补T-范建立了一类Fuzzy命题演算系统，给出了假言推理规则，推广了二值逻辑中命题演算的主要结果，且演算简单方便。

Elementary logic and Algebra Propositional calculus, quantifiers.

初等逻辑和代数命题演算，量词。

The resource model of design knowledge representation is proposed based on propositional logic and Cartesion product.

这一模型概括了产品开发中所涉及的各种资源，是对现有知识表示技术的补充。

The third part proposes in Luk the concept of lattice-valued truth degrees based on the second part by generalizing truth values from the MV-unit interval(a special MV-algebra) to a general MV-algebra. And the properties of lattice-valued truth degrees suggest that this generalization is natural and reasonable. Because of the equivalence between the two algebra systems, i.e. MV-algebra and lattice implication algebra, it's natural and easy to grade the truth of formulas in lattice-valued propositional logic whose basic algebra system is the lattice implication algebra.

中。 本文第三部分在第二部分的基础上，将Luk中公式的真度值推广到了一般的MV代数上，相对于第二部分的数值真度，给出公式的格值真度，并通过格值真度的性质说明格值真度是数值真度的合理推广。

In 1879, the publication of ""Concept Writing"" marks the foundation of propositional calculus and the predicate calculus —— the basic part of mathematical logic.

1879年《概念文字》的出版，标志着数理逻辑的基础部分——命题演算和谓词演算正式建立。

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

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

Yet, Edith says, there was always money in the bank.

但是Edith说，她的银行户口里面总是有钱。

We have created a series of files that resolve this problem--one for each day of the 40 days of purpose.

我们制作一系列的档案去解决这问题---一个为标竿40天中的每一天。