文件名称:格与布尔代数
文件大小:2.96MB
文件格式:PPT
更新时间:2017-07-10 05:53:15
格论
第六章 格和布尔代数在第一章我们介绍了命题逻辑。当时被侧重的只是形式系统。如果视P为全体命题的集合,于是逻辑联词∨,∧就可以被看作P上的两个二元代数运算。因而,
文件名称:格与布尔代数
文件大小:2.96MB
文件格式:PPT
更新时间:2017-07-10 05:53:15
格论
第六章 格和布尔代数在第一章我们介绍了命题逻辑。当时被侧重的只是形式系统。如果视P为全体命题的集合,于是逻辑联词∨,∧就可以被看作P上的两个二元代数运算。因而,