第一章 :数理逻辑
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 范式
命题公式变化繁多,研究困难,将 命题公式 转化为逻辑等价的标准形式问题称为范式未完成的习题