|
|||||
|
|
| n元真值函数构成的双格半群 | |
| 引用本文： | 王文良.n元真值函数构成的双格半群[J].汉中师范学院学报,2003,21(1):13-15,20. |
| 作者姓名： | 王文良 |
| 作者单位： | 陕西理工学院数学与计算机科学系,陕西汉中723000 |
| 摘 要： | 证明了n元真值函数集L关于运算V及其对偶运算^、序结构≤作为一个布尔代数是一个F格半群：f∨g(x)=f(x)∨g(x)，f∧g(x)=f(x)∧g(x)，f≤g当且仅当f(x)≤g(x)(任意f，g∈L，任意x∈|0，1|^n)，并且确定了其分子结构．指出含n个变元的合式公式集关于合式公式等值关系←→所构成的商结构L／←→与L同构，从而说明命题逻辑的基本框架实际上是一个特殊的双格半群，即F格半群． |
| 关 键 词： | 双格半群 变元 同构 布尔代数 序结构 数集 命题逻辑 运算 公式 |
| 本文献已被 维普 等数据库收录！ | |