反例

反例（はんれい、英: counterexample）とは、ある主張について、それが成立しない例のことである。したがって、成立しない主張を指すものではない。つまり、論理式 ^∀x P(x) が成り立たないことを証明するために導入される、¬P(a) を満たすような a のことである。