首页 试题详情
单选题

命题逻辑演绎的CP规则为( ).

A在推演过程中可随便使用前提

B在推演过程中可随便使用前面演绎出的某些公式的逻辑结果

C如果要演绎出的公式为 形式,那么将B作为前提,演绎出C

D设 是含公式A的命题公式, ,则可用B替换 中的A

正确答案:A (备注:此答案有误)

相似试题

  • 单选题

    命题逻辑演绎CP规则( ).

    答案解析

  • 判断题

    消解原理是一种用于规则演绎推理规则

    答案解析

热门题库