（P∧Q）→（￢Q→R））是永假式（）

A.命题变元pq形成的最大项p∨￢q的符号是M10

B.对每个最大项而言，只有与下标编码相同的赋值是成真赋值，其余都是成假赋值

C.任意两个不同的最大项的析取式是永真式

D.全体最大项的合取式是永真式

A.p∧q∨r

B.￢p∧￢q→r

C.p∧q∧￢r

D.￢p∧￢q∧r

用真值表法判定公式P？(Q∧R)→P∨Q∨R是永真式、永假式还是可满足式．

A.(P∧┐P) ←→q

B.P→(P∨q∨R)

C.(P→┐P)→┐P

D.┐(Q→P)∧P

A.(P∧┐P) ←→q

B.P→(P∨q∨R)

C.(P→┐P)→┐P

D.┐(Q→P)∧P

A.P→(P∨Q∨R)

B.(P→￢P)→￢Q

C.￢(Q→R)∧R

D.(P→Q)→(￢Q→￢P)

用等值演算法证明下面等值式．

1、判断下列句子中哪些是命题 （1）2是素数 （2）血是黑色的 （3）请关上门！ （4）X + y ＞ 5 （5）地球外的星球上也有人 2、将下列命题符号化 （1）3不是偶数 （2）李芳学过英语或日语 （3）如果角A和角B是对顶角，则角A等于角B （4）李平虽然聪明，但不用功 （5）李平不但聪明，而且用功 （6）小王是游泳冠军或者百米赛跑冠军 （7）选小王或者小李中的一人当班长 （8）如果我上街，我就去书店看看，除非我很累 （9）如果明天天气好，我们去郊游。否则，不去郊游 （10）你爱我，我就嫁给你 3、判断下列命题公式是否等值 （1）￢（p∨q）与￢p∨￢q （2）￢（p∨q）与￢p∧￢q 4、验证下列等值式 （1）p→（q→r）？（p∧q）→r （2）p？（p∧q）∨（p∧￢q）

A.p∧（￢q）

B.（￢p）∧q

C.（￢p）∧（￢q）

D.p∧q