>>111
x=3 →　x^3 > 8 は真。
しかし
x^3 > 8 ⇔　x > 2 であり、　x が 特定の 3 であるなどと結論づけることはできない。