https://wikippe.e-do-match.com/index.php?action=history&feed=atom&title=%E5%8F%8D%E4%BE%8B 2026-10-05T16:57:04Z このウィキのこのページに関する変更履歴 MediaWiki 1.44.2 https://wikippe.e-do-match.com/index.php?title=%E5%8F%8D%E4%BE%8B&diff=5612&oldid=prev 2014-04-18T02:19:14Z

<p></p> <p><b>新規ページ</b></p><div>&#039;&#039;&#039;反例&#039;&#039;&#039;(はんれい、{{lang-en-short|&#039;&#039;Counterexample&#039;&#039;}}) とは、なんらかの条件と性質について、「その条件を満たすすべてのものがその性質を持っている」という主張が正しくないことを示すために持ち出される、「その条件を満たしてはいるがその性質は持たないなにか」のことである。つまり、[[論理式]] &lt;sup&gt;&amp;forall;&lt;/sup&gt;&#039;&#039;x&#039;&#039; P(&#039;&#039;x&#039;&#039;) が成り立たないことを証明するために導入される、&amp;not;P(&#039;&#039;a&#039;&#039;) を満たすような &#039;&#039;a&#039;&#039; のことである。<br /> <br /> 反例が存在する場合、&lt;sup&gt;&amp;exist;&lt;/sup&gt;&#039;&#039;x&#039;&#039; &amp;not;P(&#039;&#039;x&#039;&#039;) が成立し、これが元の論理式の[[否定]]になるため、&lt;sup&gt;&amp;forall;&lt;/sup&gt;&#039;&#039;x&#039;&#039; P(&#039;&#039;x&#039;&#039;) は成り立たない。<br /> <br /> {{Math-stub}}<br /> <br /> {{DEFAULTSORT:はんれい}}<br /> [[Category:論理学]]<br /> [[Category:数学に関する記事]]</div>

211.5.111.121