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