例 r:IF P THEN Q r2:IF Q THEN R r3:IF R THEN S r4:IF P THEN T r5:IF T THEN S r与r4具有等价条件， 建立推理图如下： r1P-→Q) r4(P→T) r2(Q→>R) rs(T-→S)》 r3(R-→S) 例 r1:IF P THEN Q r2:IF Q THEN R r3:IF R THEN S r4:IF P THEN T r5:IF T THEN S r1与r4具有等价条件，建立推理图如下： r1 (P→Q) r2 (Q→R) r3 (R→S) r4 (P→T) r5 (T→S)