单项选择题
命题逻辑演绎的CP规则为（）。
A.在推演过程中可随便使用前提
B.在推演过程中可随便使用前面演绎出的某些公式的逻辑结果
C.如果要演绎出的公式为B→C形式，那么将B作为前提，设法演绎出C
D.设Φ(A)是含公式A的命题公式，
，则可用B替换Φ(A)中的A
点击查看答案
相关考题
-
单项选择题
下列推理步骤错在（）。
A.①→②
B.②→③
C.③→④
D.④→⑤ -
问答题
下列命题相容吗？ -
问答题
下列前提下结论是否有效？今天或者天晴或者下雨。如果天晴，我去看电影；若我去看电影，我就不看书。故我在看书时，说明今天下雨。
