德国数学家、逻辑学家施罗德(Ernst Schroder，1841～1902)着。共3卷，1890～1895年间写成。该书完整地叙述了类演算、命题演算和关系演算这3个逻辑代数的主要分支，对类演算和命题演算进行了整理并予之以系统的形式;对关系演算则继续皮尔斯的研究，使关系演算大大向前推进了一步。随后，罗素和怀特海花不多时间就完成了现在所具有的形式，并将之纳入了他们自己体系的发展之中。尽管该书依据的材料较陈旧，但处理方式新颖。如把逻辑代数的定理分为两组，而根据一个简单的互换法则，即相互交换“+”与“×”、“1”和“0”，就可从其中一组定理导出另一组定理，该书标志着逻辑代数已臻完善。

本文地址： https://www.yishiweijian.com/zhishibk/20230133793.html

文章来源：主编

版权声明：除非特别标注，否则均为本站原创文章，转载时请以链接形式注明文章出处。