|
|||||
|
|
| 命题逻辑的序结构 | |
| 引用本文： | 王文良. 命题逻辑的序结构[J]. 江西师范大学学报(自然科学版), 2004, 28(3): 237-239 |
| 作者姓名： | 王文良 |
| 作者单位： | 陕西理工学院,数学与计算机科学系,陕西,汉中,723000 |
| 摘 要： | 含n个命题变元的合式公式A(P1，P2，…，Pn)组成的集合M关于命题公式的等值关系←→构成的商集M/←→{CA|A↓B∈CA包含M，A←→B}关于如下代数运算∨和序关系≤是一个特殊的双格半群，即F格半群：CA∨CB=CA∨B；CB=CA∧B；CA≤CB当且仅当A的每一成真赋值都是B的成真赋值(A↓CA，CB∈M/←→)，这里的∧运算是∨的对偶运算，而M上的∧、∨运算分别是逻辑“或”逻辑“与”，同时给出了它的分子结构，并指出该F格半群与n元真值函数集构成的F格半群是同构的。 |
| 关 键 词： | 合式公式 等值关系 双格半群 F格半群 分子 n元真值函数集 |
| 文章编号： | 1000-5862(2004)03-0237-03 |
The Ordered Structure of Propositional Logic |
|
| WANG Wen-liang. The Ordered Structure of Propositional Logic[J]. Journal of Jiangxi Normal University (Natural Sciences Edition), 2004, 28(3): 237-239 | |
| Authors: | WANG Wen-liang |
| Abstract: | |
| Keywords: | propositional formula relation of propositional equavalent double-lattice semigroup F-lattice semigroup molecule n-ary truth-value fuctional set |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |