反例

出典: Wikipedio


論理式 x P(x) が成り立たないことを証明するために導入される、¬P(a) を満たすような a反例という。

反例が存在する場合、x ¬P(x) が成立し、これが元の論理式の否定になるため、x P(x) は成り立たない。

Template:Math-stubbg:Контрапример ca:Contraexemple ckb:نموونەی ھەڵوەشێنەر cs:Protipříklad de:Gegenbeispiel en:Counterexample eo:Kontraŭekzemplo es:Contraejemplo fa:مثال نقض fr:Contre-exemple he:דוגמה נגדית it:Controesempio pl:Kontrprzykład pt:Contraexemplo ro:Contraexemplu ru:Контрпример sk:Protipríklad zh:反例

個人用ツール