ということはx^2=4→x=2が偽（反例x=-2)と同じことですか？