计算机实现命题符号化,陈磊,,随着计算机的发展,计算机影响着各个学科的前进和发展,数理逻辑已经经历第二次的革命,使得在数理逻辑中重要的部分,命题逻辑也