propositional logic

propositional logic的基本解释

-

[计] 命题逻辑

与propositional logic相关的网络例句 [注：此内容来源于网络，仅供参考]

Based on the outcome of Xu Yang and Qin Keyun about lattice implication algebra and lattice-valued prepositional logic LP with truth-value in a lattice implication algebra, the author studied the properties of lattice implication algebra and the α-automated reasoning method based on α-resolution principle of LP. The specific contents are as follows: The Study of Lattice Implication Algebra On the basis of previous results of lattice implication algebra, this part consists of the following three points: 1. Some properties of lattice implication algebra L were discussed, and some important results were given if L was a complete lattice implication algebra. 2. The properties of left idempotent elements of lattice implication algebras were discussed, and the conclusion that lattice implication algebra L was equals of the directed sum of the range and dual kernel of a left map constructed by a left idempotent element was proved. 3. The properties of the filters of lattice implication algebra were discussed, the theorem was shown that they satisfy the hypothetical syllogism and substitute theorem of the propositional logic. 4. The concept of weak niters of lattice implication algebras and their properties and structures are discussed. It is proved that all weak filters of a lattice implication algebra form a topology and the the implication isomorphism betweem two lattice implication algebras is a topological mapping between their topological spaces. The Study of α-automated reasoning method based on the lattice-valued propositional logic LP In this part, the author given an a-automated reasoning method based on the lattice-valued propositional logic LP.

本文基于徐扬和秦克云的关于格蕴涵代数和以格蕴涵代数为真值域的格值命题逻辑系统LP的研究工作，对格蕴涵代数以及格值命题逻辑系统LP中基于α-归结原理的自动推理方法进行了系统深入的研究，主要有以下两方面的研究成果：一、关于格蕴涵代数的研究 1、对格蕴涵代数的格论性质进行了研究，得到了当L为完备格蕴涵代数时，关于∨，∧，→运算的一些结果； 2、对格蕴涵代数的左幂等元进行了研究，证明了格蕴涵代数L可以分解为任何一个左幂等元所对应的左映射的像集合与其对偶核的直和； 3、对格蕴涵代数的滤子的性质进行了研究，证明了滤子的结构相似于逻辑学中的Hypothetical syllogism规则和替换定理； 4、给出了格蕴涵代数中弱滤子的概念，对弱滤子的性质个结构进行了研究，证明了格蕴涵代数的全体弱滤子构成一个拓扑结构，格蕴涵代数之间的蕴涵同构是相应的拓扑空间之间的拓扑映射。

The course contains four sections as follows: mathematical logic (including basic concepts of propositional logic and predicate logic, propositional calculuses and inference theories), set theory (including set algebras, relations, functions and cardinal numbers), algebraic structure (including algebraic systems, semigroups and groups, rings and fields, lattices and Boolean algebras), graph theory (including basic concepts of graph, Euler graphs and Hamiltonian graphs, trees, planar graphs and coloring graphs, some special vertex subsets and edge subsets).

本课程包含四部分内容：数理逻辑（包含命题逻辑与一阶逻辑的基本概念、等值演算以及推理理论），集合论（包含集合代数、二元关系、函数和基数），代数结构（包含代数系统、半群与群、环与域、格与布尔代数），图论（包含图的基本概念、欧拉图与哈密顿图、树、平面图及图的着色、图的某些特殊的顶点子集与边子集）。

In the field of propositional logic in computer logic, the Logic Equivalent of propositional is fundermental.

在逻辑语言的命题演算中，命题式的等价是一个基础性的问题，在判定命题式等价问题中，真值表示比较常用的一个方式。

与propositional logic相关的网络解释 [注：此内容来源于网络，仅供参考]

propositional logic：命题逻辑

语言学取向以形状文法(shape grammar)为代表. 碎形几何学透过不同的最小丈量尺寸,可以看出不同尺度(scale)的空间结构变化. 符号逻辑学以命题逻辑(propositional logic)或者首阶符号逻辑(first order logic)之方式描述空间之结构,并可据以进行空间推理.

propositional logic：建议逻辑

比例同积分并用控制 proportional-plus-integral control | 建议逻辑 propositional logic | 人造器官 prosthetics

propositional logic：命题 辑

propositional intermediate logic 命题中间 辑 | propositional logic 命题 辑 | protractor 角器,分规

Classical Propositional Logic：二值逻辑

问题逻辑:question logic | 二值逻辑:Classical Propositional Logic | 模糊逻辑:Three-value Logic

Fuzzy Propositional Logic：模糊命题逻辑

模糊逻辑:training management fuzzy logic | 模糊命题逻辑:Fuzzy Propositional Logic | 模糊逻辑系统:Fuzzy logic system