ｘ≠２　→　ｘ＾２≠４　が偽をいうには　ｘ≠２だけどｘ＾２≠４ではない
即ちｘ≠２だけどｘ＾２＝４となるものがあればよい。

ｘ＝−２がまさにそれ。