ロゴ
ユニオンペディア
コミュニケーション
Google Play で手に入れよう
新しい! あなたのAndroid™デバイスでユニオンペディアをダウンロードしてください!
ダウンロード
ブラウザよりも高速アクセス!
 

反例

索引 反例

反例(はんれい、counterexample) とは、なんらかの条件と性質について、「その条件を満たすすべてのものがその性質を持っている」という主張が正しくないことを示すために持ち出される、「その条件を満たしてはいるがその性質は持たないなにか」のことである。つまり、論理式 ∀x P(x) が成り立たないことを証明するために導入される、¬P(a) を満たすような a のことである。 反例が存在する場合、∃x ¬P(x) が成立し、これが元の論理式の否定になるため、∀x P(x) は成り立たない。.

5 関係: 否定一松信和田秀男論理式星雲社

否定

数理論理学において否定 (ひてい、Negation) とは、命題の真と偽を反転する論理演算である。否定は英語で Not であるが、Invert とも言われ論理演算ではインバージョン(Inversion)、論理回路では Not回路やインバータ回路(Inverter)とも呼ばれ入力に対して出力が反転する。 命題 P に対する否定を ¬P, P, !P などと書いて、「P でない」とか「P の否定」、「P 以外の場合」などと読む。 ベン図による論理否定(NOT).

新しい!!: 反例と否定 · 続きを見る »

一松信

一松 信(ひとつまつ しん、1926年(大正15年)3月6日 - )は、日本の数学者。京都大学名誉教授。日本数学検定協会名誉会長。.

新しい!!: 反例と一松信 · 続きを見る »

和田秀男

和田 秀男(わだ ひでお、1940年12月26日 - 2012年1月7日)は、日本の数学者。上智大学名誉教授、理学博士。愛知県名古屋市出身.

新しい!!: 反例と和田秀男 · 続きを見る »

論理式

論理式.

新しい!!: 反例と論理式 · 続きを見る »

星雲社

星雲社(せいうんしゃ)は、東京都文京区に本社がある、書籍全国流通(販売代行)会社。同じビルに構想社も入居している。.

新しい!!: 反例と星雲社 · 続きを見る »

出ていきます入ってきます
ヘイ!私たちは今、Facebook上です! »