反例
(counterexample から転送)
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/08/01 10:00 UTC 版)
反例（はんれい、英: counterexample）とは、ある主張について、それが成立しない例のことである。したがって、成立しない主張を指すものではない。つまり、論理式 ∀x P(x) が成り立たないことを証明するために導入される、¬P(a) を満たすような a のことである。
- ^ Lucien Chambbadal (1969). DICTIONNAIRE DES MATHÉMATIQUES MODERNES. LIBRAIRIE LAROUSSE
日本語版： ラルース現代数学百科. 平凡社. (1977-09-01). p. 275
[続きの解説]
「反例」の続きの解説一覧
- 1 反例とは
- 2 反例の概要
- counterexampleのページへのリンク
