首页 > TAG信息列表 > 谓词演算

谓词逻辑发展

 古希腊的亚里士多德等人于两千多年前 创立了古典形式逻辑，也称为传统逻辑。传统逻辑的不足：用自然语言加少量符号表述命题，不严格，常有二义性，并且没有包括所有的正确推理形式。为了弥补传统逻辑的不足，德国数学家哲学家莱布尼兹z于十七世纪中叶明确地 提出了建立通用的符号语言和通用