一种命题形式系统的等价性证明

• 作者: 宋伟
• 来源期刊: 重庆工学院学报（社会科学版）
• 学科: 哲学
• 关键词: 命题形式系统 等价性 证明
• 年，卷（期）: 2009,（6）
• 所属期刊栏目: 逻辑学
• 页码范围: 69-70,78
• 页数: 3页
• 分类号: B81
• 字数: 2269字
• 语种: 中文
• DOI: 10.3969/j.issn.1674-8425.2009.06.019

摘要

Lukasiewicz提出的一个命题形式系统与两个常见的命题形式系统之间的等价性证明在于在Lukasiewicz系统中证明公理模式A→(B→A)和(A→(BvC))→((vB)→(A→C)).而要证明这两个公理模式其关键又在于证明若干重要的中间公式,如A→((-B→B)→B)以及皮尔士律、吸收律、段定律等.就此,在Lukasiewicz给出的证明的基础上,讨论了一种不同的、相对简单一些的证明过程.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	宋伟	湖北大学哲学学院	14	19	2.0	4.0