电脑桌面
添加小米粒文库到电脑桌面
安装后可以在桌面快捷访问

数理逻辑习题离散数学

数理逻辑习题离散数学_第1页
1/7
数理逻辑习题离散数学_第2页
2/7
数理逻辑习题离散数学_第3页
3/7
)(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...

1、当您付费下载文档后,您只拥有了使用权限,并不意味着购买了版权,文档只能用于自身使用,不得用于其他商业用途(如 [转卖]进行直接盈利或[编辑后售卖]进行间接盈利)。
2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。
3、如文档内容存在违规,或者侵犯商业秘密、侵犯著作权等,请点击“违规举报”。

碎片内容

数理逻辑习题离散数学

确认删除?
VIP
微信客服
  • 扫码咨询
会员Q群
  • 会员专属群点击这里加入QQ群
客服邮箱
回到顶部