F(Sn)中公式集Γ的全体结论之集D(Γ)的结构

• 作者: 王永安
• 来源期刊: 纺织高校基础科学学报
• 关键词: 二值命题逻辑 公式集 结论的结构
• 年，卷（期）: 2009,（3）
• 所属期刊栏目: 数学
• 页码范围: 269-275
• 页数: 7页
• 分类号: O141.1
• 语种: 中文
• DOI: 10.3969/j.issn.1006-8341.2009.03.001

摘要

探讨原子公式集为有限集Sn时,二值命题逻辑F(Sn)中公式集Γ的所有结论之集D(Γ)的结构.利用F(Sn)中公式在可证等价意义下的一般表示, 通过建立一个特殊映射,将F(Sn)中公式之间的合取∧、析取∨及否定┐的运算转化为在可证等价意义下某集合的子集之间的求交∩,求并∪,求补′的运算.进而得到(1) 对于A∈F(Sn),Γ( F(Sn),给出了A∈D(Γ)是否成立的充要条件;(2) 对于Γ( F(Sn),给出了Γ是否相容的充要条件;(3) 对于Γ( F(Sn),在可证等价意义下,给出了D(Γ)中所含F(Sn)中公式的个数;(4) 对于Γ1,Γ2 F(Sn),给出了D(Γ1)与D(Γ2)之间的关系;(5) 对于A∈F(Sn),Γ( F(Sn),在可证等价意义下,给出了D(Γ)中与A距离最近的公式.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王永安	西安文理学院数学系	8	6	1.0	1.0