单选题
命题逻辑演绎的CP规则为( ).
A
在推演过程中可随便使用前提
B
在推演过程中可随便使用前面演绎出的某些公式的逻辑结果
C
如果要演绎出的公式为 形式,那么将B作为前提,演绎出C
D
设 是含公式A的命题公式, ,则可用B替换 中的A
答案解析
正确答案:C
题目纠错
信息技术知识大赛
