[Ｐ⊃Ｑ] ⊃ [〜Ｑ⊃〜Ｐ]　は恒真式（tautology）であるが故に
対偶律：　《　[ＰならばＱ] ならば [ＱでないならばＰではない] 》
、　　を表わしていると信じられて来た。　しかし、これは誤りであった。

例えば、[Ｐ⊃(Ｑ∨Ｒ)] ⊃[(Ｐ⊃Ｑ)∨(Ｐ⊃R)] はtautologyである
にも拘わらず、《　[Ｐならば(ＱかＲ)] ならば、[　(ＰならばＱである)か、又は(ＰならばRである)　] 》　は
成立しない　■