2019年10月5日 (土) 12:20時点における版編集 37.143.130.240 (会話) 編集の要約なし ← 古い編集		2020年3月12日 (木) 06:41時点における版編集取り消しくがた (会話 \| 投稿記録) 58 回編集簡潔に伝わるように文を改稿し、誤認を招かないように補足を追加した。タグ: ビジュアルエディター新しい編集 →
1行目: {{Wiktionary}} '''反例'''(はんれい、{{lang-en-short\|''counterexample''}}) とは、~~なんらかの条件と性質~~ある主張について、「それが成立しない例の~~条件を満~~ことである。(した~~すすべてのもの~~が~~その性質を持~~って、成立しない~~る」という~~主張~~が正しくないこと~~を示指す~~ために持ち出される、「そ~~もの~~条件を満たして~~では~~いるがその性質は持た~~ない~~なにか」のことである~~。)つまり、[[論理式]] <sup>∀</sup>''x'' P(''x'') が成り立たないことを証明するために導入される、¬P(''a'') を満たすような ''a'' のことである。反例が存在する場合、<sup>∃</sup>''x'' ¬P(''x'') が成立し、これが元の論理式の[[否定]]になるため、<sup>∀</sup>''x'' P(''x'') は成り立たない。<ref>{{ cite book \| series = LIBRAIRIE LAROUSSE \| title = DICTIONNAIRE DES MATHÉMATIQUES MODERNES \| author = Lucien Chambbadal \| year = 1969 }} <br />

「反例」の版間の差分