2022年4月22日
谓词逻辑的发展
摘要： 古希腊的亚里士多德(Aristotle)Aristotle等人于两千多年前 创立了古典形式逻辑，也称为传统逻辑。传统逻辑的不足：用自然语言加少量符号表述命题，不严格，常有二义性，并且没有包括所有的正确推理形式。为了弥补传统逻辑的不足，德国数学家哲学家莱布尼兹(Leibniz)Leibniz于十七世纪 阅读全文
posted @ 2022-04-22 12:20 幻梦博客 阅读(134) 评论(0) 推荐(0)