单项选择题

命题逻辑演绎的CP规则为（）。

A.在推演过程中可随便使用前提
B.在推演过程中可随便使用前面演绎出的某些公式的逻辑结果
C.如果要演绎出的公式为B→C形式，那么将B作为前提，设法演绎出C
D.设Φ(A)是含公式A的命题公式，，则可用B替换Φ(A)中的A

<上一题目录下一题>

热门试题

单项选择题下列推理步骤错在（）。

A.①→②
B.②→③
C.③→④
D.④→⑤

单项选择题任意两个不同极大项的析取式必为（）。

A.永真公式
B.可满足公式
C.永假公式
D.等值公式

单项选择题若无向图G是有99个结点，9个连通分量，则G中的边数必（）

A.≤90
B.=90
C.≥90
D.=100
E.≥100

单项选择题从无向完全图K5中至少删除（）条边后，所得的图将成为平面图。

A.0
B.1
C.2
D.3

单项选择题设G=（a）为12阶循环群，则G没有（）阶子群。

A.1
B.2
C.3
D.4
E.5
F.6