| n元真值函数构成的双格半群 |
| |
| 引用本文： | 王文良.n元真值函数构成的双格半群[J].陕西理工学院学报(社会科学版),2003,21(3):13-15,20. |
| |
| 作者姓名： | 王文良 |
| |
| 作者单位： | 陕西理工学院,数学与计算机科学系,陕西,汉中,723000 |
| |
| 基金项目： | 原汉中师范学院科研基金资助项目(XY-107) |
| |
| 摘 要： | 证明了n元真值函数集L关于运算∨及其对偶运算∧，序结构≤作为一个布尔代数是一个F格半群：f∨g(x)=f(x)∨g(x),f∧g(x)=f(x)∧g(x),f≤g当且仅当f(x)≤g(x)(↓Af,g∈L,↓Ax∈{0,1}^n)，并且确定了其分子结构。指出含n个变元的合式公式集关于合式公式等值关系←→所构成的商结构L/←→与L同构，从而说明命题逻辑的基本框架实际上是一个特殊的双格半群，即F格半群。
|
| 关 键 词： | 双格半群 F格半群 布尔代数 n元真值函数集 等值关系 分子 |
| 文章编号： | 1007-0842(2003)03-0013-04 |
| 修稿时间： | 2003年3月27日 |
For n-Dimensional Truth-value Functions Constituting the Double Lattice-ordered Semigroup |
| |
| WANG Wen-liang.For n-Dimensional Truth-value Functions Constituting the Double Lattice-ordered Semigroup[J].Journal of Shaanxi University of Technology:Social Sciences,2003,21(3):13-15,20. |
| |
| Authors: | WANG Wen-liang |
| |
| Abstract: | |
| |
| Keywords: | double lattice-ordered semigroup F lattice-ordered semigroup boolean algebra n-dimensional truth-value functional set equal relation molecule |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
