《离散数学（山东联盟-青岛理工大学）》智慧树答案满分测试2026年版

令p：我们划船。 q：我们跑步。命题“我们不能既划船又跑步”符号化为（   ）。

A:

B:

C:

 

D:

答案:

 

下面哪个语句是真命题？

A:如果1+2=3，那么雪是黑的。
B:如果1+2=3，那么雪是白的。
C:严禁吸烟。
D:我只知道一件事，那就是我什么都不知道。
答案: 如果1+2=3，那么雪是白的。

令p：我将去镇上。 q：我有时间。命题“我将去镇上，仅当我有时间”符号化为（  ）。

A:

B:

C:

 

D:

 

答案:

;

 

n个命题变元可以产生（     ）个具有不同真值的命题公式。

A:

B:

 

C:

D:

答案:

��盟-青岛理工大学）》智慧树答案满分测试2026年版" />

 

命题公式

是（     ）。

A:重言式
B:不能确定
C:矛盾式

D:非重言式的可满足式
答案: 重言式

下面命题公式中，（     ）与

等值。

A:

B:

 

C:

D:

答案:

 

下面联结词集中，不是联结词完备集的是（    ）。

A:

B:

 

C:

D:

答案:

 

若公式

的主析取范式是 

，则其主合取范式是（    ）。

A:

B:

 

C:

D:

答案:

 

设AC为两个命题公式，当且仅当（    ）为重言式时，称C可由A逻辑地推出。

A:

B:

C:

D:

 

答案:

 

下列推理定理中，（   ）是不正确的。

A:

B:

C:

 

D:

答案:

 

设C(x)：x是国家足球队选手。G(x)：x是健壮的。命题“没有一个国家足球队选手不是健壮的”可符号化为（   ）。

A:

B:

C:

D:

 

答案:

 

设L(x)：x是人。 J(x)：x是花。 A(x,y)：x喜欢y。 命题“有的人喜欢所有的花”符号化为（    ）。

A:

B:

C:

D:

 

答案:

 

谓词公式

中，量词

的辖域是（        ）。

A:

B:

C:

 

D:

答案:

 

设论域为整数集，下列公式中值为真的是（        ）

A:

B:

C:

D:

 

答案:

 

设个体域A={a, b}， 公式

在A上消去量词后应为（        ）

A:

B:

C:

 

D:

答案:

 

下列谓词公式中，(     )是等值的。

A:

B:

C:

 

D:

答案:

 

下列谓词公式中，是逻辑有效式的是（    ）。

A:

B:

C:

 

D:

答案:

 

下列各式中哪个是正确的？

A:

B:

 

C:

D:

答案:

 

下列推理步骤错在(      )。① 

P②

①US③

P④

③ES⑤

②④假言推理⑥

⑤EG

A:②
B:⑥

C:④

D:⑤

答案: ④

下列推导错在(     )。①

P②

①US③  

②ES④

③UG

A:无

B:④
C:②

D:③
答案: ③