反例
反例(はんれい、英: counterexample)とは、ある主張について、それが成立しない例のことである。したがって、成立しない主張を指すものではない。つまり、論理式 ∀x P(x) が成り立たないことを証明するために導入される、¬P(a) を満たすような a のことである。
反例が存在する場合、∃x ¬P(x) が成立し、これが元の論理式の否定になるため、∀x P(x) は成り立たない。[1]
脚注または引用文献
- Lucien Chambbadal (1969). DICTIONNAIRE DES MATHÉMATIQUES MODERNES. LIBRAIRIE LAROUSSE
日本語版: ラルース現代数学百科. 平凡社. (1977-09-01). p. 275
参考文献
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.