离散数学 自学 第一天

第一章 ：数理逻辑

1.1,命题

1、判断命题 ：一是 陈述语句（断言） ，二是 或真或假 但不可 兼具（未确定 真值也算是命题）
小技巧 ：1、含有 不等符号的不是命题；2、不是 陈述句的不是命题
不是 命题的 断言，无法指定 其真假性 表示 悖论；
1.1一个命题 已无法 分解成更简单的命题 ，则这个命题叫做 原子命题或者 本原命题 用 大写字母表示 例如 P ： 4 是质数；

1.2 命题 联结词（逻辑运算符）

	命题 和原子命题  通过联结词 构成 复合命题 
	 不 、 并且、  或者 、蕴含词 
![在这里插入图片描述](https://img-blog.csdnimg.cn/20200307161925293.png)

补充 ：==运算符 V 表示的是 可兼或 == 原子命题 的两者情况不排除
补充 ：蕴含式 分为 形式蕴涵 和 实质蕴含 ，前者的 前提 和结论 是有因果联系的；

逻辑连接词的优先级：

范例总结 一下：

1.3 命题 变元 和命题 公式

通常，如果P代表真值未指定的任意命题，我们就称P为命题变元; 如果P代表一个真值已指定的命题，我们就称P为命题常元。

但由于在命题演算中并不关心具体命题的涵义，只关心其真假值，因此，我们可以形式地定义它们。　以“真”、“假”为其变域的变元，称为命题变元; T和F称为命题常元

把 含有 命题 变元的断言 称为命题公式

定义命题公式 ：此时 这种定义 是归纳定义 公式是 合式公式

两个 命题公式 如果有相同的真值 ，则称它们是 逻辑等价命题

未完成的作业

思考 ：在5种 逻辑连接词中 那些是 可以交换逻辑对象的？那些是 可结合的？

1.4 重言式

常用的逻辑恒等式 见下表 表中 符号P、 Q和 R 表示 任意命题 ，符号 T代表 真命题 F表示假命题

逻辑等式表 含证明

E14 允许 蕴含式用析取式表达；
E10、E11允许 析取式 和合取式 相互表达；
E15、E24也是常用的
永真蕴含式
证明方法 除去真值表 还可以 使用 ：

两个规则


未完成的作业：
1、推导 常用恒等式表
2、

1.5 范式

命题公式变化繁多，研究困难，将 命题公式 转化为逻辑等价的标准形式问题称为范式未完成的习题