全国计算机等级逻辑学开放题及答案.docx

全国计算机等级逻辑学开放题及答案.docx

全国计算机等级逻辑学开放题及答案

第PAGE1页共NUMPAGES1页

全国计算机等级逻辑学开放题及答案

一、单项选择题(共10小题,每题2分)(每小题只有一个选项符合题意,请把正确选项的字母填在题后括号内)

1.在命题逻辑中,下列哪个表达式是重言式?

A.(P→Q)∧(Q→P)

B.(P∧?Q)→P

C.P→(Q→P)

D.(P∨Q)→?P

参考答案:B

2.在谓词逻辑中,表达式?x(P(x)→Q(x))的意思是?

A.所有x都满足P(x)且Q(x)

B.存在x满足P(x)且Q(x)

文档评论(0)

1亿VIP精品文档

相关文档