二值命题逻辑F(Sn)在可证等价意义下的一般表示

• 作者: 王永安
• 来源期刊: 纺织高校基础科学学报
• 关键词: 二值命题逻辑 赋值 可证等价 一般表示
• 年，卷（期）: 2008,（4）
• 所属期刊栏目: 数学
• 页码范围: 383-388,397
• 页数: 7页
• 分类号: O141.1
• 语种: 中文
• DOI: 10.3969/j.issn.1006-8341.2008.04.001

摘要

探讨二值命题逻辑公式及逻辑等价公式统一性问题.利用二值命题逻辑中公式逻辑等价与可证等价的一致性,借助于赋值方法得到了命题在可证等价意义下的一般表示,给出了全体命题根据可证等价关系作商得到的所有等价类的代表元的统一表示形式.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王永安	陕西师范大学数学与信息科学学院	8	6	1.0	1.0