)(B)AT(ATB),一、单项选择题1.下列命题公式等值的是((A)-ip 人-iQ,PvQ(C)QT(PvQ),-QvPvQ2.设命题公式 G:-PT(QAR),则使公式 G 取真值为 1 的 P,Q,R 赋值分别是()(A)0,0,0(B)0,0,1(C)0,1,0(D)1,0,03.命题公式(PvQ)TQ 为()(A)矛盾式(B)仅可满足式(C)重言式(D)合取范式4 命题公式-(PTQ)的主析取范式是().(A)PA-Q(B)-PAQ(C)-PvQ(D)Pv-Q5.前提条件 PT-Q,P 的有效结论是().(A)P(B)P(C)Q(D)Q6.设 P:我将去市里,Q:我有时间.命题“我将去市里,仅当我有时间时”符号化为()(A)QTP(B)PTQ(C)P 分 Q(D)-Pv-Q二、填空题1. 设命题公式 G:P-(QP),则使公式 G 为假的真值指派是2. 设 P:我们划船,G:我们跑步,那么命题“我们不能既划船,又跑步”可符号化为3. 含有三个命题变项 P,Q,R 的命题公式 PQ 的主析取范式是4. 若命题变元 P,Q,R 赋值为(1,0,1),则命题公式 G=((PAQ)TR)O(-PvQ)的真值是5. 命题公式 P-PQ 的类型是.6. 设 A,B 为任意命题公式,C 为重言式,若 AACOBAC,那么 AOB 是第 1 章命题逻辑式(重言式、矛盾式或可满足式)三、解答化简计算题1.判别下列语句是否命题如果是命题,指出其真值.(1)中国是一个人口众多的国家.(2)存在最大的质数.(3)这座楼可真高啊!(4)请你跟我走!(5)火星上也有人.2•作命题公式(PTQ)T((PAQ)VP)的真值表,并判断该公式的类型.3. 试作以下二题:(1)求命题公式(PQ)(PQ)的成真赋值.⑵ 设命题变元 P,Q,R 的真值指派为(0,1,1),求命题公式(P ㈠ R)A((「PTQ)V(「RTQ))的真值.4. 化简下式命题公式((PAQ)V(「pA「Q)AP)5. 求命题公式 PT((QTP)A(「PAQ))的主合取范式.6. 求命题公式「(PTQ)A(PT「Q)的主析取范式,并求该命题公式的成假赋值.7. 求命题公式(PAQ)A(「PV「Q)的真值表.四、证明题1. 证明(PTQ)A(―|QVR)A「RA(PV「iS)n「iS2. 构造推理证明:(PT(QTS))A(RTP)AQnRTS3. 证明命题公式(PTQ)V(RTQ)与(PAR)TQ有相同的主析取范式.参考答案一、1.C2.D3.B4.A5.D6.B二、1.1,0;1,12.「(PAQ)或「PV「Q3.(PQR)(PQR)4.05.非永真式的可满足式 6.重言三、1.(1)是命题,真值为 1.(2)是命题,真值为 0.(3),⑷ 不是命题.⑸ 是命题.1.判别下列语句是否命题如果是命题,指出其真值.(1)中国是一个人口众多的国家.(2)存在最大的质数.(3)这座楼可真高啊!(4)请你跟我走!(5)火星上也有人.2•命题公式(PTQ)T((pAQ)Vp)的真值表PQPQPAQ(PAQ)VP(PTQ)T((PAQ)VP)001000011000100011111...