反例

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

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

字引的：この項目の現在の内容は、百科事典というよりは辞書に適しています。利用・執筆の別にかかわらず、辞書・字引の類をお求めでしたら、姉妹プロジェクトのウィクショナリーをご利用ください。

「ことばこ」は、歴史の人物から最先端テクノロジーまで、なんでも調べられるオンライン百科事典です。ウィキペディア財団が運営を行なっているwikipedia.orgから引用をしています。