【单选题】CP规则的含义是（ ）
A: 前提在推导过程中可以使用。
B: 在推导过程中，若有一个或多个公式或永真式中含命题S，则S可在推导过程中引入。
C: 如果能从R和前提集合中推导出来S，就能从前提集合中推导出来R→S。
D: 通过反证来证明。
A: 前提在推导过程中可以使用。
B: 在推导过程中，若有一个或多个公式或永真式中含命题S，则S可在推导过程中引入。
C: 如果能从R和前提集合中推导出来S，就能从前提集合中推导出来R→S。
D: 通过反证来证明。
举一反三
- 经典逻辑推理中用到的规则有 A: P规则：在推理的任何步骤上都可引入前提。 B: T规则：在推理过程中，如果前面步骤中有一个或多个公式永真蕴含公式S，则可把S引入推理过程中。 C: CP规则：如果能从任意引入的谓词R和前提集合中推出S来，则可从前提集合推出R → S来。 D: F规则：在推理的任何步骤上都可引入永假蕴含式。
- 经典逻辑推理中用到的规则有 A: P规则：在推理的任何步骤上都可引入前提。 B: T规则：在推理过程中，如果前面步骤中有一个或多个公式永真蕴含公式S，则可把S引入推理过程中。 C: CP规则：如果能从任意引入的谓词R和前提集合中推出S来，则可从前提集合推出R → S来。 D: F规则：在推理的任何步骤上都可引入永假蕴含式。
- 命题推理的P规则是指前提在推导过程中的任何时候都可以引入使用。而T规则是推理中如果一个或多个公式蕴含了公式S，则公式S可以引入到以后的推理之中。
- LR分析法,中R表示 。 A: 采用最右推导 B: 采用最右规约 C: 采用最右推导的逆过程-最左归约 D: 采用最左推导
- 如果在推导过程中的任何一步α⇒β，都是对α中的最右非结符进行替换，则称这种推导为（） A: 直接推导 B: 广义推导 C: 最左推导 D: 规范推导