![](https://img-blog.csdnimg.cn/20201014180756918.png?x-oss-process=image/resize,m_fixed,h_64,w_64)
数理逻辑
数理逻辑
韩曙亮
中国人民大学 硕士 , 专注于 移动开发 领域 , 博客专家 , 2023 年博客之星 TOP1 , 2021 年博客之星 TOP9 , 华为云云享专家 , 阿里云社区专家博主 , 51CTO 专家博主 ;
展开
-
【数理逻辑】谓词逻辑的等值演算与推理演算 ( 个体词 | 谓词 | 量词 | 谓词逻辑公式 | 两个基本公式 | 命题符号化技巧 | 命题符号化示例 ) ★★
一、 谓词逻辑相关概念、1、 个体词、2、 谓词、3、 量词、二、 一阶谓词逻辑公式、三、 两个基本公式、1、 公式一、2、 公式二、四、 命题符号化技巧、1、 命题符号化方法、2、 谓词逻辑组合、3、 当且仅当谓词逻辑、五、 命题符号化示例、原创 2020-10-27 16:02:34 · 3763 阅读 · 1 评论 -
【数理逻辑】命题逻辑的等值演算与推理演算 ( 命题逻辑 | 等值演算 | 主合取 ( 析取 ) 范式 | 推理演算 ) ★★
一、 命题逻辑基本概念 、二、 等值演算 、三、 主合取 ( 析取 ) 范式 、四、 推理演算原创 2020-10-22 10:23:11 · 3980 阅读 · 3 评论 -
【数理逻辑】谓词逻辑 ( 前束范式 | 前束范式转换方法 | 谓词逻辑基本等值式 | 换名规则 | 谓词逻辑推理定律 )
一、 前束范式 、 二、 前束范式转换方法 、 三、 前束范式示例 、 四、 谓词逻辑推理定律 、原创 2020-09-28 23:03:06 · 25186 阅读 · 9 评论 -
【数理逻辑】谓词逻辑 ( 谓词逻辑基本等值式 | 消除量词等值式 | 量词否定等值式 | 量词辖域收缩扩张等值式 | 量词分配等值式 )
一、 消除量词 等值式 、 二、 量词否定 等值式 、 三、 量词辖域收缩扩张 等值式 、 四、 量词分配 等值式 、原创 2020-09-28 22:11:32 · 19179 阅读 · 2 评论 -
【数理逻辑】谓词逻辑 ( 判断一阶谓词逻辑公式真假 | 解释 | 示例 | 谓词逻辑公式类型 | 永真式 | 永假式 | 可满足式 | 等值式 )
一、 判断谓词逻辑公式真假 ( 语义 ) 、二、 谓词逻辑 "解释" 、三、 谓词逻辑 "解释" 示例 、四、 谓词逻辑公式类型 、原创 2020-09-28 14:07:30 · 14440 阅读 · 0 评论 -
【数理逻辑】谓词逻辑 ( 一阶谓词逻辑公式 | 示例 )
一、 一阶谓词逻辑公式 、二、 一阶谓词逻辑公式 示例 、原创 2020-09-28 13:31:08 · 4470 阅读 · 0 评论 -
【数理逻辑】命题逻辑 ( 命题逻辑推理正确性判定 | 形式结构是永真式 - 等值演算 | 从前提推演结论 - 逻辑推理 )
一、 命题逻辑推理正确性判定 、二、 形式结构是永真式 ( 等值演算 ) 、三、 从前提推演结论 ( 逻辑推理 ) 、原创 2020-09-27 21:47:48 · 4516 阅读 · 0 评论 -
【数理逻辑】命题逻辑 ( 等值演算 | 幂等律 | 交换律 | 结合律 | 分配律 | 德摩根律 | 吸收率 | 零律 | 同一律 | 排中律 | 矛盾律 | 双重否定率 | 蕴涵等值式 ... )
一、等值演算 、 二、等值式 、 三、基本等值式 、 四、基本运算 、 五、等值演算 、原创 2020-09-27 11:44:33 · 15227 阅读 · 3 评论 -
【数理逻辑】命题逻辑 ( 命题逻辑推理 | 推理的形式结构 | 推理定律 | 附加律 | 化简律 | 假言推理 | 拒取式 | 析取三段论 | 假言三段论 | 等价三段论 | 构造性两难 )
一、推理的形式结构 、 二、推理定律 、 1、附加律 、 2、化简律 、 3、假言推理 、 4、拒取式 、 5、析取三段论 、 6、假言三段论 、 7、等价三段论 、 8、构造性两难 、原创 2020-09-27 14:40:56 · 31374 阅读 · 3 评论 -
【数理逻辑】命题逻辑 ( 命题与联结词回顾 | 命题公式 | 联结词优先级 | 真值表 可满足式 矛盾式 重言式 )
一、命题与联结词 、二、命题公式 、三、命题公式示例 、四、联结词优先级 、五、真值表 、原创 2020-09-25 21:30:37 · 5825 阅读 · 3 评论 -
【数理逻辑】谓词逻辑 ( 个体词 | 个体域 | 谓词 | 全称量词 | 存在量词 | 谓词公式 | 习题 )
一. 谓词逻辑相关概念1. 个体词( 1 ) 个体词2. 谓词( 1 ) 谓词3. 量词( 1 ) 全称量词( 2 ) 存在量词二. 命题符号化 技巧1. 两个基本公式( 1 ) 有性质 F 的个体 都有性质 G( 2 ) 存在既有性质 F 又有性质 G 的个体2. 命题符号化技巧( 1 ) 命题符号化方法( 2 ) 解题技巧( 3 ) 当且仅当 谓词逻辑方法3. 谓词公式定义( 1 ) 谓词公式定义原创 2019-07-15 21:51:11 · 17777 阅读 · 3 评论 -
【数理逻辑】范式 ( 合取范式 | 析取范式 | 大项 | 小项 | 极大项 | 极小项 | 主合取范式 | 主析取范式 | 等值演算方法求主析/合取范式 | 真值表法求主析/合取范式 )
一. 相关概念1. 简单 析取 合取 式( 1 ) 简单合取式( 2 ) 简单析取式2. 极小项( 1 ) 极小项 简介( 2 ) 极小项 说明( 3 ) 两个命题变项 的 极小项( 4 ) 三个命题变项 的 极小项( 5 ) 极小项 成真赋值 公式 名称 之间 的 转化 与 推演3. 极大项( 1 ) 极大项 简介( 2 ) 极大项 说明( 3 ) 两个命题变项的极大项( 4 ) 三个命题变项的极大项( 5 ) 极大项 成假赋值 公式 名称 之间原创 2019-07-16 15:03:31 · 37716 阅读 · 8 评论 -
【数理逻辑】命题和联结词 ( 命题 | 命题符号化 | 真值联结词 | 否 | 合取 | 析取 | 非真值联结词 | 蕴涵 | 等价 )
命题和联结词 ( 命题 | 命题符号化 | 真值联结词 | 否 | 合取 | 析取 | 非真值联结词 | 蕴涵 | 等价 )原创 2019-06-28 11:15:21 · 15595 阅读 · 2 评论