离散数学Day01

Class 1

命题公式

联结词

• p,q,r,…（等小写字母）表示原子命题或简单命题，可以当做逻辑变量，1表示命题为真，0表示命题为假
• 否定联结词，—p称为p的否定式，代码里的！p
• ^{称为合取联结词（与，并且），p}q称为p与q的合取式，其中每个命题的取值可以用二进制表示构造真值表 ，竖着构建，可见视频的方法，对应串联。
• 析取联结词（或），符号是上面的倒置，p q称为析取式，可理解为电路里的并联。
• ->称为蕴涵联结词，p->q称为p与q的蕴涵式，对应的数学命题如果p则q，定义：若为假则为假，这个结果是真，若为假则为真，这个结果也是真（如果明天没下雨我要去散步，但明天下雨了），若为真结果为假则为假，pq都为真都是真，这是形式逻辑并非考虑p与q之间得到关系，要点在于箭头符号，代表着推理，出发点错误推理就无意义了，只有推理出了问题才有错误，或者当做小于等于号从值来考虑
• <->称为等价联结词，p<->q称为p与q的等价式，就是等号，若p等于q为真若p不等于q为假，这里的等于是值相等

命题公式

有了联结词就可以去递归定义命题公式

• 单个命题变元（p q r…）或常元（0和1）是命题公式
• 若A是命题公式，则（！A）也是
• 若A,B是命题公式。则（A^B），(A析取B)，（A->B）,(A<->B)也是
• 只有有限次应用前面的三个所形成的的符号串才是

优先级：非，与或，-> <->,若加了括号有限运算，若没加括号，按照优先级从左向右运算

（p->(q->r))^ p ^q->r表示了一种推理的过程

• 可满足式，真值表里至少有一行可以使它的值为1
• 矛盾式（永假式）
• 重言式（永真式）（本身是可满足式的一种） 永真和矛盾本质都是一样，是矛盾式取非

等值演算

等值式

若两个命题公式AB，有A<->B是永真式，则称A等值于B，A和B可以互相代替，而使大公式值不变，可用于将复杂式子换成性质较多的简单式子去展开运算

基本的等值式

• 幂等律：A等值于A或A，A等值于A^A（同一个元素自己跟自己做运算都相等）
• 交换律： A或B等值于B或A，A ^ B等值于B^A
• 结合律：（A或B）或C等值于A或（B或C），(A^B)C等值于A^ (B^C)
• 分配律：A或（B^ C）等值于（A或B）^ (A或C) A^(B或C)等值于(A ^ B)或（A ^C）乘法对于加法有分配律
• 德·摩根律 ： ！（A或B）等值于！A^!B ，或与替换依然成立，列真值表可验证
• 吸收率：A或（A^B）等值于A,将与或替换依然成立，在集合论里也成立
• 零律： A或1等值于1，A^0等值于0（1对于或运算来说算是零元，1与别的元素做或运算，等于这个元素自己，较为霸道）
• 同一律：A或0等值于A，A^1等值于A（0相对于或来说是单位元，不影响其他元素的值，自己毫不起作用）
• 排中律：A或！A等值于1
• 矛盾律：A^!A等值于0

（在其他逻辑系统中，排中律可能不成立，有可能命题不是真的也不是假的，例如这句话是假的）

对偶原理（一个等值式里若只有与或非和0,1的话，与和或互换，0和1互换这个式子仍然是对的

• 双重否定律 ：！！A等值于A
• 蕴涵等值式： A->B等值于！A或B，意味着单箭头没有必要
• 等价等值式：A<->B(双箭头理解为A是B的充分必要条件)等值于（A->B)^(B->A)（A是B的充分条件并且B是A的充分条件），意味着双箭头没有必要
• 等价否定等值式：A<->B等值于！A<->!B
• 假言易位（逆否命题）：A->B等值于！B->!A
• 归谬论（A->B)^(A->!B)等值于！A 从A出发得到一个矛盾于是就为非A，这个式子是一个永真式

等值演算

在命题公式内，把一个等值的公式换成另一个等值的公式，这是置换规则，这样的做法叫做等值演算

命题逻辑推理

推理的形式结构

• 前提：A1，A2，A3，…Ak
• 结论：B 要推的命题
• 推理的形式结构：（A1^A2…Ak）->B

重要的推理定律

推理定律：若A->B是永真式 写成A→B，与等值于对比，每一个等值式都代表了两个推理定律

• 附加律：前提：A 结论：A或B 原因：A->(A或B)是永真式

• 化简律：前提：（A^B） 结论：A 原因（A^B）->A是永真式

• 假言推理（小三段论）前提：A->B 和 A 结论：B 原因:((A->B)^A)->B是永真式

• 拒取式（可以理解为反证法 ）：前提：A->B和！B 结论：！A 原因（（A->B)^!B)->(!A)是永真式

• 析取三段论：前提：A或B和！A 结论：B 原因（（A或B)^!A)->B1

  相当于排除嫌疑人

• 假言三段论：前提：（A->B）和B->C 结论：A->C 原因：((A->B)^(B->C))->(A->C) 是永真式 蕴涵连接式的传递性

• 等价三段论：前提：（A<->B）和（B<->C） 结论（A<->C） 原因：((A<->B)^(B<->C))->(A<->C)是永真式

• 构造性两难 前提：A->B,C->D,A或C 结论：B或D 类似于一种选择问题，可以把AC理解为是否发展经济，BD理解为污染和忍受贫穷，两者总有一种情况相对应，这是一种两难的选择

判断推理正确的方法

前提：一些命题公式

结论：也是命题公式

方法一：写出推理的形式结构，看是否是永真式（用等值演算的方法）

方法二：按照推理规则，看是否能从前提推出结论，利用推理定律