由前提PÙQ推出结论P,使用的规则是
A I规则
B E规则 
C P规则
D CP规则