P规则在推理过程中的任何时候都可以引入使用。
举一反三
- 命题推理的P规则是指前提在推导过程中的任何时候都可以引入使用。而T规则是推理中如果一个或多个公式蕴含了公式S，则公式S可以引入到以后的推理之中。
- 经典逻辑推理中用到的规则有 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规则):在证明的任何步骤都可以引入已知的前提;
- 以下推理过程是正确的。（ ）（1） p P规则（2） p®(Øq®r) P规则（3） Øq®r （1）（2），假言推理