10.3969/j.issn.1674-8425.2009.06.019
一种命题形式系统的等价性证明
Lukasiewicz提出的一个命题形式系统与两个常见的命题形式系统之间的等价性证明在于在Lukasiewicz系统中证明公理模式A→(B→A)和(A→(BvC))→((vB)→(A→C)).而要证明这两个公理模式其关键又在于证明若干重要的中间公式,如A→((-B→B)→B)以及皮尔士律、吸收律、段定律等.就此,在Lukasiewicz给出的证明的基础上,讨论了一种不同的、相对简单一些的证明过程.
命题形式系统、等价性、证明
23
B81(逻辑学(论理学))
2009-07-29(万方平台首次上网日期,不代表论文的发表时间)
共3页
69-70,78