文件名称:第1章 命题逻辑-3rd1
文件大小:235KB
文件格式:PDF
更新时间:2022-08-03 12:51:36
第一章 命题逻辑回顾• 命题变元• 合式公式• 重言式—永真式• 矛盾式—永假式• 永真蕴含式• 代入规则• 替换规则• 常用逻辑恒等式(30)• 常用永真蕴含
文件名称:第1章 命题逻辑-3rd1
文件大小:235KB
文件格式:PDF
更新时间:2022-08-03 12:51:36
第一章 命题逻辑回顾• 命题变元• 合式公式• 重言式—永真式• 矛盾式—永假式• 永真蕴含式• 代入规则• 替换规则• 常用逻辑恒等式(30)• 常用永真蕴含