您现在位置：模拟考场> 湖北自学考试> 专业课> 离散数学> 浏览试题
[单选题]命题逻辑推理规则中，CP规则是指（ ）
  • A前提在推导过程中的任何时候都可以引入使用。
  • B推理中，如果一个或多个公式，蕴含了公式S，则公式S可以引入到以后的推理之中。
  • C在推导过程的任何步骤上，命题公式中的子公式都可以用与之等价的公式置换。
  • D
    • 收藏 查看答案
    相关题目
    热门试题
    热门试卷