2022年12月30日
离散数学—数理逻辑
摘要： 数理逻辑部分 数理逻辑 命题逻辑 逻辑连接词 命题符号化 命题公式 命题公式的等价 矛盾式与重言式 ※重言关系蕴含式的证明 ※重言关系等价式的证明 析取范式与合取范式 主析取范式 主合取范式 对于两种范式，我的一些看法 命题逻辑推理 直接推理 间接推理 谓词逻辑 谓词演算的等价式和蕴含式 谓词演算推 阅读全文
posted @ 2022-12-30 18:15 竹等寒 阅读(1154) 评论(0) 推荐(0)