西安电子科技大学$1.5.2推理规则软件学院家在推导的任何步骤上都可以引入前提P规则在推导过程中，如果前面有一个或多个公T规则式永真蕴含S，则可以把S引入推导过程。西安电子科技大学 §1.5.2 推理规则 软件学院 P规则 T规则