すなわち、これに演繹定理を使った(P→Z)→(((P→Q)→Z)→Z)を定理として結論したいとする。
例如，假设我们给出了P→Z和(P→Q)→Z并且希望演绎出Z，那么我们可以使用演绎定理来结论出(P→Z)→(((P→Q)→Z)→Z)是定理。