原创力文档- 72
- 0
- 约6.28万字
- 约 25页
- 2021-07-12 发布于河北
- 举报
.
说明：
定义 ：红色表示 。
定理性质： 橙色表示。
公式： 蓝色表示 。
算法 : 绿色表示
页码 ：灰色 表示
数理逻辑：
1. 命题公式： 命题， 联结词 ( ， ， ， ， )，合式公式，子公式
2. 公式的真值： 赋值，求值函数，真值表，等值式，重言式，矛盾式
3. 范式： 析取范式，极小项，主析取范式，合取范式，极大项，主合取范式
4. 联结词的完备集： 真值函数，异或，条件
文档评论（0）