「反例」
ハンレイ
構成する漢字
読み方
ハンレイ
各漢字の音読みを機械的に組み合わせた候補です。実在する語の正式な読みを保証するものではありません。意味と使い方
反例（はんれい、英: counterexample）とは、ある主張について、それが成立しない例のことである。したがって、成立しない主張を指すものではない。つまり、論理式
∀
x
P
(
x
)
{\displaystyle \forall x\ P(x)}
が成り立たないことを証明するために導入される、
¬
P
(
a
)
{\displaystyle \neg P(a)}
を満たすような
a
{\displaystyle \,a\,}
のことである。
反例が存在する場合、
∃
x
¬
P
(
x
)
{\displaystyle \exists x\ \neg P(x)}
が成立し、これが元の論理式の否定になるため、
∀
x
P
(
x
)
{\displaystyle \forall x\ P(x)}
は成り立たない。