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

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