随笔分类 -  离散数学

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

点击右上角即可分享
微信分享提示