これがどのように機能しますか：
* 定義は正確であり、考えられるすべてのケースをカバーする必要があります。
* 対抗例は、定義の説明に適合しますが、実際には定義されているものに属していない例です。
例：
ステートメント： 「正方形は4つの側面を持つ形状です。」
対比例： 長方形には4つの側面もありますが、正方形ではありません。
なぜそれが反例であるか： 声明は、正方形と長方形の両方で共有されるプロパティについて説明しているため、正方形を正確に定義しません。
ここにカウンター検査を見つけるいくつかの方法があります：
* 例外を考える： 定義が真実ではない状況を想像できますか？
* さまざまな例を試してください： 定義をさまざまな例、特に適合する必要があるように見えるかもしれませんが、そうではないように見えるかもしれません。
* オーバーラップを探してください： 定義には含まれるべきではないものが含まれていますか？
* 反対を考えてください： 定義しようとしているものの反対を定義できますか？その定義は正確ですか？
反例を見つけることにより、元のステートメントがは良い定義ではないことを示します 定義されているものの特定の特性を正確にキャプチャしないためです。