原创力文档- 1、本文档共13页，可阅读全部内容。
- 2、原创力文档（book118）网站文档一经付费（服务费），不意味着购买了该文档的版权，仅供个人/单位学习、研究之用，不得用于商业用途，未经授权，严禁复制、发行、汇编、翻译或者网络传播等，侵权必究。
- 3、本站所有内容均由合作方或网友上传，本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺！文档内容仅供研究参考，付费前请自行鉴别。如您付费，意味着您自己接受本站规则且自行承担风险，本站不退款、不进行额外附加服务；查看《如何避免下载的几个坑》。如果您已付费下载过本站文档，您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等，请点击“版权申诉”（推荐），也可以打举报电话：400-050-0827(电话支持时间：9:00-18:30)。
查看更多
单项选择题
第一章第二章
1. 下列表达式正确的有 ( )
A. ( P Q ) Q B. P Q P C. ( P Q) ( P Q) P D. P ( P Q) T
2. 下列推理步骤错在 ( )
① x( F (x) G ( x)) P
② F (y ) G( y) US①
③ xF (x) P
④ F (y ) ES③
⑤ G (y ) T②④I
⑥ xG (x) EG⑤
A. ② B.④ C.⑤ D.⑥
3. 设 P：2 ×2=5，Q：雪是黑的， R：2 ×4=8，S：太阳从东方升起，下列 ( ) 命题的真值为真。
A. P Q R B. R P S C. S Q R D. ( P R) (Q S)
4. 下列公式中哪些是永真式？ ( )
A.( ┐P Q) →(Q→ R) B.P→(Q→Q) C.(P Q)→P D.P→(P Q)
5. 下列等价关系正确的是 ( )
A. x ( P(x) Q (x )) xP (x) xQ (x ) B. x( P(x ) Q (x)) xP(x ) xQ (x )
C. x ( P(x) Q) xP( x) Q D. x ( P( x) Q ) xP (x) Q
6. 下列推导错在 ( )
① x y (x y ) P
② y ( z y) US①
③ z z ES②
④ x( x x ) UG③
A. ② B. ④ C. ③ D.无
7. 若公式 ( P Q) ( P R) 的主析取范式为 m001 m011 m110 m111 则它的主合取范式为 ( )
A. m001 m011 m110 m111 B. M 000 M 010 M 100 M 101 ；
C. M 001 M 011 M 110 M 111 D. m000 m010 m100 m101 。
8. 在下述公式中不是重言式为 ( )
A．( P Q ) ( P Q ) B．( P Q ) (( P Q ) (Q P))
C． ( P Q ) Q D． P ( P Q )
9. 下列各式中哪个不成立 ( )
A. x ( P(x) Q (x )) xP (x) xQ (x ) B. x( P(x ) Q (x)) xP(x ) xQ (x)
1
C. x ( P(x) Q (x )) xP (x) xQ (x ) D. x( P(x) Q ) xP(x) Q
10. 命题 “尽管有人聪明，但未必一切人都聪明” 的符号化 （P(x) ：x 是聪明的，M(x) ：x 是人）( )
A. x(M (x ) P(x)) ( x(M (x ) P(x))) B. x(M ( x) P(x)) ( x( M (x) P(x )))
C. x(M (x ) P(x)) ( x( M (x) P(x ))) D. x(M (x ) P(x
文档评论（0）