提出了一种机器实现命题符号化的机制
但是对于命题符号化的机器实现还是出于朦胧状态
命题符号化的机器实现 ChenLei * （ North China University of Technology
命题符号化
在今天对于命题符号化已经不再是什么新鲜的问题
本文通过根据如何手动的命题符号化过程
） Abstract： With the development of computers, computer affects various disciplines to advance and develop, Mathematical Logic has experienced the second revolution, makes mathematical logic important part, and propositional logic has been improved and developed
For this proposition is no longer the symbol of what is fresh, But Proposition symbols of the machine to achieve the state or out of the cover, According to this paper how the manual process of Proposition symbol, a symbol Proposition machinery to achieve the mechanism
Keywords： mathematical logic, the symbol of the proposition, Proposition symbols of the machine to achieve 下载PDF阅读器 PDF全文下载： 初稿 （ 252 ） 作者简介： 通信联系人： 【收录情况】 中国科技论文在线： 陈磊
