>>505
>(P⊃Q)⊃(〜Q⊃〜P)の場合はどうなんだい?