∀x(x∈A⇒x∈B)
犬、猫、猿がいるとする。
Aを犬、Bを猫でない、とする。
∃x(x(¬∈)B⇒x(¬∈)A)を対偶とすれば、
犬のとき、猫ではないのだから正しい。
猫のとき、猫であって犬ではないのだから正しい。
猿のとき、猫ではないのだから正しい。
特に問題は生じない。
∃x(x∈B⇒x∈A)の場合、
犬のとき、猫ではないのだから犬であり正しい。
猫のとき、猫なのだから正しい。
猿のとき、猫ではないのだから犬でなければならない。正しくない。

あれ？おれどこか間違った？