离散推理题里的 P T I E

问题描述:

离散推理题里的 P T I E

简而言之,
P规则:就是直接利用推理中给出的前提;
T规则:就是由某一个或几个前提可以通过等价、蕴含得到其他命题公式.
I表示在T规则中通过蕴含式推出其他命题公式;
E表示在T规则中通过等价式推出其他命题公式.