习题课-命题逻辑课件

习题课-命题逻辑(1)主要内容命题、真值、简单命题与复合命题、命题符号化联结词

,

,

,

,

及复合命题符号化命题公式及层次公式的类型真值表及应用1习题课-命题逻辑(1)主要内容1习题课-命题逻辑(1)基本要求深刻理解各联结词的逻辑关系,熟练地将命题符号化会求复合命题的真值深刻理解合式公式及重言式、矛盾式、可满足式等概念熟练地求公式的真值表，并用它求公式的成真赋值与成假赋值及判断公式类型2习题课-命题逻辑(1)基本要求2练习1判断下列语句是否为命题：十是一个整数.北京是一个村庄.请勿吸烟!雪是黑色的.今天是7号.1+101=110.您吃饭了吗?我学英语或法语.如果天气好,我就去散步.我不给所有自己替自己理发的人理发，但却给所有自己不替自己理发的人理发。是否是是是否是是否是3练习1判断下列语句是否为命题：是否是是是否是是否是3练习2将下列命题符号化(1)豆沙包是由面粉和红小豆做成的.(2)苹果树和梨树都是落叶乔木.(3)王小红或李大明是物理组成员.(4)王小红或李大明中的一人是物理组成员.(5)由于交通阻塞，他迟到了.(6)如果交通不阻塞，他就不会迟到.(7)他没迟到，所以交通没阻塞.(8)除非交通阻塞，否则他不会迟到.(9)他迟到当且仅当交通阻塞.4练习2将下列命题符号化4练习2解答(1)豆沙包是由面粉和红小豆做成的.(2)苹果树和梨树都是落叶乔木.(3)王小红或李大明是物理组成员.(4)王小红或李大明中的一人是物理组成员.设p:交通阻塞，q:他迟到(5)由于交通阻塞，他迟到了.(6)如果交通不阻塞，他就不会迟到.(7)他没迟到，所以交通没阻塞.(8)除非交通阻塞，否则他不会迟到.(9)他迟到当且仅当交通阻塞.简单命题合取式析取式排斥或p

q

p

q或q

p

q

p

或p

q

p

q

或q

pp

q

5练习2解答(1)豆沙包是由面粉和红小豆做成的.简单命题合取练习3设p:2是素数q:北京比天津人口多r:乌鸦是白色的求下面命题的真值(1)(p

q)

r(2)(q

r)

(p

r)(3)(q

r)

(p

r)(4)(q

p)

((p

r)

(

r

q))01006练习3设p:2是素数01006习题课-命题逻辑(2)主要内容等值式与等值演算基本等值式（16组，24个公式）主析取范式与主合取范式联结词完备集7习题课-命题逻辑(2)主要内容7习题课-命题逻辑(2)基本要求深刻理解等值式的概念牢记基本等值式的名称及它们的内容熟练地应用基本等值式及置换规则进行等值演算理解文字、简单析取式、简单合取式、析取范式、合取范式的概念深刻理解极小项、极大项的概念、名称及下角标与成真、成假赋值的关系，并理解简单析取式与极小项的关系8习题课-命题逻辑(2)基本要求8习题课-命题逻辑(2)基本要求熟练掌握求主范式的方法（等值演算、真值表等）会用主范式求公式的成真赋值、成假赋值、判断公式的类型、判断两个公式是否等值会将公式等值地化成指定联结词完备集中的公式会用命题逻辑的概念及运算解决简单的应用问题9习题课-命题逻辑(2)基本要求9练习1概念设A与B为含n个命题变项的公式，判断下列命题是否为真？(1)A

B当且仅当A与B有相同的主析取范式(2)若A为重言式，则A的主合取范式为0(3)若A为矛盾式，则A的主析取范式为1(4)任何公式都能等值地化成{

,

}中的公式(5)任何公式都能等值地化成{

,

,

}中的公式真假假假真10练习1概念设A与B为含n个命题变项的公式，判断下列命题是否练习2:判断公式类型判断下列公式的类型:(1)(p

q)

(

q

p)(2)

(p

q)

q(3)(p

q)

p11练习2:判断公式类型判断下列公式的类型:11练习2:判断公式类型(1)(p

q)

(

q

p)解用等值演算法求主范式(p

q)

(

q

p)

(

p

q)

(q

p)

(p

q)

(q

p)

(p

q)

(

p

q)

(p

q)

(

p

q)

m2

m1

m3

m0

m0

m1

m2

m3主析取范式

1主合取范式重言式12练习2:判断公式类型(1)(pq)(qp)重言练习题2(续)(2)

(p

q)

q解用等值演算法求公式的主范式

(p

q)

q

(

p

q)

q

p

q

q

0主析取范式

M0

M1

M2

M3主合取范式矛盾式13练习题2(续)(2)(pq)q矛盾式13练习2(续)(3)(p

q)

p解用等值演算法求公式的主范式(p

q)

p

(

p

q)p

p

(

p

q)

(

p

q)

m0

m1主析取范式

M2

M3主合取范式可满足式14练习2(续)(3)(pq)p可满足式14练习3：求公式的主范式已知命题公式A中含3个命题变项p,q,r，并知道它的成真赋值为001,010,111,求A的主析取范式和主合取范式，及A对应的真值函数.解：A的主析取范式为m1

m2

m7

A的主合取范式为M0

M3

M4

M5

M6p

qrFp

qrF0000100000111010010111000110111115练习3：求公式的主范式已知命题公式A中含3个命题变项p,q练习4：联结词完备集将A=(p

q)

r改写成下述各联结词集中的公式:(1){

,

,

}(2){

,

}(3){

,

}(4){

,

}(5){

}(6){

}解(1)(p

q)

r

(

p

q)

r

(2)(p

q)

r

(p

q)

r

(3)(p

q)

r

(

p

q)

r

(

(

p

q)

r)16练习4：联结词完备集将A=(pq)r改写成下述各联练习4

解答(4)(p

q)

r

(

(p

q)

r)

((p

q)

r)(5)(p

q)

r

(p

q)

r

(p

q)

r((p

q)

r)

((p

q)

r)

((p

q)

r)(6)(p

q)

r

(

p

q)

r

(

(

p

q)

r)

(

p

q)

r

((p

p)

(q

q)

(r

r)说明：答案不惟一17练习4解答(4)(pq)r((p练习5：应用题某公司要从赵、钱、孙、李、周五名新毕业的大学生中选派一些人出国学习.选派必须满足以下条件：(1)若赵去，钱也去.(2)李、周两人中至少有一人去(3)钱、孙两人中去且仅去一人.(4)孙、李两人同去或同不去.(5)若周去，则赵、钱也去.用等值演算法分析该公司如何选派他们出国？18练习5：应用题某公司要从赵、钱、孙、李、周五名新毕业的大学生练习5解答解此类问题的步骤：1.设简单命题并符号化2.用复合命题描述各条件3.写出由复合命题组成的合取式4.将合取式成析取式（最好是主析取范式）5.求成真赋值,并做出解释和结论19练习5解答解此类问题的步骤：19练习5解答1.设简单命题并符号化设p:派赵去，q:派钱去，r:派孙去，s:派李去，u:派周去2.写出复合命题(1)若赵去，钱也去(2)李、周两人中至少有一人去(3)钱、孙两人中去且仅去一人(4)孙、李两人同去或同不去(5)若周去，则赵、钱也去p

qs

u(q

r)

(

q

r)(r

s)

(

r

s)u

(p

q)20练习5解答1.设简单命题并符号化pqsu(qr)练习5解答3.设(1)—(5)构成的合取式为A

A=(p

q)

(s

u)

((q

r)

(

q

r))

((r

s)

(

r

s))

(u

(p

q))4.化成析取式

A

(

p

q

r

s

u)

(p

q

r

s

u)结论：由上述析取式可知，A的成真赋值为00110与11001，派孙、李去（赵、钱、周不去）派赵、钱、周去（孙、李不去）21练习5解答3.设(1)—(5)构成的合取式为A21练习5解答A

(

p

q)

((q

r)

(

q

r))

(s

u)

(

u

(p

q))

((r

s)

(

r

s))B1=(

p

q)

((q

r)

(

q

r))

((

p

q

r)

(

p

q

r)

(q

r))（分配律）B2=(s

u)

(

u

(p

q))

((s

u)

(p

q

s)

(p

q

u))（分配律）B1

B2

(

p

q

r

s

u)

(

p

q

r

s

u)

(q

r

s

u)

(p

q

r

s)

(p

q

r

u)再令((r

s)

(

r

s))=B3，则B1

B2

B3

(

p

q

r

s

u)

(p

q

r

s

u)22练习5解答A(pq)((qr)(qr)习题课-命题逻辑(3)主要内容推理的形式结构判断推理是否正确的方法真值表法等值演算法主析取范式法推理定律自然推理系统构造推理证明的方法直接证明法附加前提证明法归谬法(反证法)23习题课-命题逻辑(3)主要内容23习题课-命题逻辑(3)基本要求理解并记住推理形式结构的两种形式：1.(A1

A2

…

Ak)

B2.前提：A1,A2,…,Ak

结论：B熟练掌握判断推理是否正确的不同方法（如真值表法、等值演算法、主析取范式法等）牢记各条推理规则熟练掌握构造证明的直接证明法、附加前提证明法和归谬法会解决实际中的简单推理问题24习题课-命题逻辑(3)基本要求24练习1：判断推理是否正确1.判断下面推理是否正确：(1)前提：

p

q,

q结论：

p解推理的形式结构:(

p

q)

q

p方法一：等值演算法(

p

q)

q

p

((p

q)

q)

p

(

p

q)

q

p

((

p

q)

(

q

q))

p

p

q易知10是成假赋值，不是重言式，所以推理不正确.25练习1：判断推理是否正确1.判断下面推理是否正确：25练习1解答方法二：主析取范式法，(

p

q)

q

p((p

q)q)p

p

q

M2

m0

m1

m3未含m2,不是重言式,推理不正确.26练习1解答方法二：主析取范式法，26练习1解答方法三真值表法

111001110100(

p

q)

q

pqp

p

q0111(p

q)

q0010方法四直接观察出10是成假赋值不是重言式,推理不正确27练习1解答方法三真值表法111001110练习1(2)前提：q

r,p

r结论：q

p

解推理的形式结构：(q

r)

(p

r)(q

p)用等值演算法(q

r)

(p

r)(q

p)(q

r)(p

r)(q

p)

((q

r)(p

r))(