数理逻辑期末考试试题及详细参考答案.docx

数理逻辑期末考试试题及详细参考答案.docx

数理逻辑期末考试试题及详细参考答案

一、考试说明

1.考试时长:120分钟,满分100分

2.适用范围:本科数理逻辑、离散数学逻辑部分课程

3.题型构成:选择题、填空题、计算题、证明题

二、试题部分

(一)单项选择题(本大题共10小题,每小题2分,共20分)

1.下列语句中,属于命题的是()

A.明天会下雨吗?B.请安静!C.3+59D.x+2=7

2.命题公式(P∨?Q)→R的成真赋值个数为()

A.5B.6C.7D.8

3.下列命题公式中,属于永真式的是()

A.(P→Q)∧(Q→P)B.P∨(?P∧Q)C.(

文档评论(0)

1亿VIP精品文档

相关文档