|
(n) counterexample =========================== ・ 反 ： [はん, たん] 1. (n,vs,n-pref) anti- 2. opposite 3. antithesis 4. antagonism ・ 反例 ： [はんれい] (n) counterexample ・ 例 ： [れい] 【名詞】 1. instance 2. example 3. case 4. precedent 5. experience 6. custom 7. usage 8. parallel 9. illustration
反例(はんれい、) とは、なんらかの条件と性質について、「その条件を満たすすべてのものがその性質を持っている」という主張が正しくないことを示すために持ち出される、「その条件を満たしてはいるがその性質は持たないなにか」のことである。つまり、論理式 ∀''x'' P(''x'') が成り立たないことを証明するために導入される、¬P(''a'') を満たすような ''a'' のことである。 反例が存在する場合、∃''x'' ¬P(''x'') が成立し、これが元の論理式の否定になるため、∀''x'' P(''x'') は成り立たない。 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「反例」の詳細全文を読む スポンサード リンク
|