1 命题逻辑-3rd1

【文件属性】：

文件名称：1 命题逻辑-3rd1

文件大小：653KB

文件格式：PDF

更新时间：2022-08-03 17:44:44

第一章 命题逻辑回顾• 命题变元• 合式公式• 重言式—永真式• 矛盾式—永假式• 永真蕴含式• 代入规则• 替换规则• 常用逻辑恒等式（30）• 常用永真蕴含