1、单选题：
令p：我们划船。 q：我们跑步。命题“我们不能既划船又跑步”符号化为（ ）。
选项：
A:
B:
C:
D:
答案: 【】

2、单选题：
下面哪个语句是真命题？
选项：
A:严禁吸烟。
B:如果1+2=3，那么雪是黑的。
C:如果1+2=3，那么雪是白的。
D:我只知道一件事，那就是我什么都不知道。
答案: 【如果1+2=3，那么雪是白的。】

3、多选题：
令p：我将去镇上。 q：我有时间。命题“我将去镇上，仅当我有时间”符号化为（ ）。
选项：
A:
B:
C:
D:
答案: 【;
】

4、单选题：
n个命题变元可以产生（ ）个具有不同真值的命题公式。
选项：
A:
B:
C:
D:
答案: 【】

5、单选题：
命题公式是（     ）。
选项：
A:非重言式的可满足式
B:矛盾式
C:不能确定
D:重言式
答案: 【重言式】

6、单选题：

下面命题公式中，（     ）与等值。

选项：
A:

B:

C:

D:

答案: 【

】

7、单选题：
下面联结词集中，不是联结词完备集的是（ ）。
选项：
A:
B:
C:
D:
答案: 【】

8、单选题：
若公式的主析取范式是 ，则其主合取范式是（    ）。

选项：
A:
B:
C:
D:
答案: 【】

9、单选题：
设A、C为两个命题公式，当且仅当（ ）为重言式时，称C可由A逻辑地推出。
选项：
A:
B:
C:
D:
答案: 【】

10、单选题：
下列推理定理中，（ ）是不正确的。
选项：
A:
B:
C:
D:
答案: 【】