2025年大学《数学与应用数学》专业题库——数学逻辑在计算机科学中的应用

考试时间：______分钟总分：______分姓名：______

一、单项选择题（请将正确选项的代表字母填在题后的括号内。每小题2分，共20分。）

1.下列哪个语句在逻辑上是永真的？

(A)如果今天下雨，那么地面是湿的。

(B)今天下雨且今天不下雨。

(C)如果今天不下雨，那么地面是干的。

(D)如果今天下雨，那么地面是干的。

2.逻辑公式(P→Q)?(?Q→?P)表示的是：

(A)非蕴含式

(B)双条件式

(C)