论文部分内容阅读
皮尔士的图演算是逻辑史上的重要发明。自1860年代后期开始,皮尔士专心研究关于布尔代数的改进工作。皮尔士于1880年发表逻辑史上第一个关于布尔代数的逻辑演算。1896年前后皮尔士提出存在图,展示古典命题逻辑的图演算。经过对皮尔士Alpha图演算的研究,可以得出结论,该演算是不同于干岑的自然演绎和矢列式演算的另一类型。