propositional form
propositional form 双语例句
Prenex normal form of the first order logic propositional is the key to propositional logic. Generally, there are three steps to change get a prenex normal form: first of all get rid of the connection word; Secondly, make the negative word to the front of every atomic.
对于一阶谓词化为其前束范式问题，一般可以通过三个步骤完成，首先去掉逻辑式中的连接词；其次将否定词深入到各原子公式中；最后利用永真等价式将量词逐个移到式子的前部。
But that is the general propositional form.
而这就是一般的命题形式。
Truth table, value assignment of reduction to absurdity, truth tree, deductive argumentation and normal form etc. are the methods of judging (or proving) tautology in propositional calculus of mathematical logic, but not that of judging inference formula in traditional propositional logic.
真值表、归谬赋值、真值树、演绎证明和范式等方法是数理逻辑命题演算中重言式的判定（或证明）方法，但不是传统命题逻辑推理式的判定方法。
This paper mainly discusses formal theorm judged algorithm in entailment system propositional calculus Cm and object events in the actual world with the form of deep thinking that it expresses.
本文主要讨论制约系统命题演算Cm中形式定理的判定算法，以及现实世界对象事件和对其思考的形式表示。
In propositional calculus system of medium logic (MP ~), superior disjunctive normal form theorem and two corollary have been proved.
本文证明了MP~中的完全析取范式定理及其两个推论。文中也给出了判别Γ（？）
The propositional form itself contradicts it: for a proposition always promises a distinction between subject and predicate; while the present one does not fulfil what its form requires.
这个命题的形式自身就陷于矛盾，因为一个命题总须得说出主词与谓词间的区别，然而这个命题就没有作到它的形式所要求于它的。
Digital Form of Logical Consequence Theory in 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、给出了格蕴涵代数中弱滤子的概念，对弱滤子的性质个结构进行了研究，证明了格蕴涵代数的全体弱滤子构成一个拓扑结构，格蕴涵代数之间的蕴涵同构是相应的拓扑空间之间的拓扑映射。
On this basis, this paper makes a study of the aspectual meaning indicated respectively by the progressive form of the verb and by the propositional content.
在此基础上，本文对英语动词的进行体形式和命题内容分别表示的体态意义分别进行了研究。
propositional form
相关单词辨析
这组词都有“名单、目录、表格”的意思，其区别是：
rgeister: 多指官方对人或事作出的正式书面记录或详细清单。
schedule: 既可指时间或计划的安排表，又可指详细列出的所有分类项的清单或细表。
roll: 多指人员的姓名名单，尤指属于团体或军事单位的全体人员名单。
form: 指上面印有横线或格让人填写规定内容的表格。
catalog(ue): 指列出有全部队名、物名或项目等的目录，有时附有简要说明的分类名单或一览表。
chart: 指把资料制成表格等形式供人看的图表。
list: 最普通用词，含义广。指按字母顺序、时间先后或类别等排列的姓名或项目等的单子。
table: 普通用词，一般指易于迅速查阅使用，具有特定编排方法的目录或表格。
这组词都有“形式”的意思，其区别是：
figure: 指轮廓、外形，尤指体态，相貌或身体。
form: 最普通用词，含义广，既可指客观物体的外形，又可用于抽象概念的“形”。
shape: 通常指由线和面所围成的外观上的形，侧重立体形状。
outline: 指任何形状的轮廓线。