查询词典 propositional logic

Early in 1952 Rosser and Turquette proposed the idea of distinguishing reliabilities of formulas in the propositional logic, and this idea was discussed and developed by many scholars from different points of view.

关于区分命题逻辑中公式可靠程度的思想早在1952年就由Rosser与Turequtte提出，多年来许多学者从不同的角度提出了确定这类公式真确程度的方法。

After the integrated semantic theory, Professor Wang Guojun proposed the theory of truth degree of formulas in two-valued propositional logic.

建立了积分语义学之后，王国俊教授在经典的二值命题逻辑中建立了命题的真度理论。

By employing the theory of ∑Γ－fuzzy truth degree, the concepts of Γ-pseudometric on F was proposed in the propositional logic system Ln.

特别地证明了真度关系：τΓ+τΓ≤1+τΓ，并利用这一关系在模糊命题演算系统Ln中的公式集F上引入相对于有限理论的Γ-伪距离，从而为在模糊命题逻辑系统Ln中建立相对于有限理论的近似推理框架奠定了基础。

The Tableau decision algorithm for D-ALCO forms an elaborated combination of the Tableau algorithm for ALCO,the decision algorithm for propositional dynamic logic,and the embodiment of the possible models approach.

1引言作为一类用于知识表示的形式化工具，描述逻辑在信息系统、软件工程、自然语言处理等领域得到了成功应用[1]。

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

根据描述方法的不同，状态转移系统本身也可以作为形式规格来使用。

Based on the production of other researchers such as professor Xu Yang and professor Qin Keyun, this paper discusses the structure and properties of lattice implication algebra, tautologies in some lattice-valued systems, automated reasoning methods, lattice-valued propositional logic system.

本文的工作是在徐扬教授、秦克云教授等研究成果的基础上，对格蕴涵代数的性质、结构、格值命题逻辑系统中的重言式、自动推理方法、格值命题逻辑系统等进行了一些研究。

The context started from the properties of the logic algebra which based onResiduated lattic, studied the relationships between all kind of logic algebras andits corresponding logic systems.

本文便从研究建立在剩余格之上的各种逻辑代数的性质入手，研究了各种逻辑代数，以及与其相应的逻辑系统之间的关系。

His main contribution is the first in mathematical logic, his departure from mathematical logic, the logic of established Atomism and a new realism, he became the founder of modern philosophy of one.

他的主要贡献首先是在数理逻辑方面，他由数理逻辑出发，建立起来的逻辑原子论和新实在论，使他成为现代分析哲学的创始人之一。

The theory of compound propositions inference, The theory of categorical proposition inference, The modal logic, Foundational laws of logic ,The theory of inductive logic ,The theory of proof and refutation.

主要有：概念的理论，命题的理论，复合命题推理，直言命题推理，模态逻辑，逻辑规律和归纳推理。

It is also configured for all 3 input logic and some logic between 4 and 7 input,and used for general combinational logic.

该单元还能实现全部 3输入逻辑和部分 4～ 7输入逻辑，也是一种满足通用逻辑应用的结构。

The teacher likes the honeymouthed little girl very much.

老师很喜欢这个嘴甜的小姑娘。

Mr. Notker Bien's interests are traveling, spending quality time with the family and long-distance-running.

诺特卡·柏恩先生热爱旅游，长跑，以及和家人一起共度美好时光。