命題の真偽判定について

　たとえば「カラスは黒い」という命題の真偽は、すべてのカラスについてその色を調べることで判定できると思われます。すべて黒であれば真であり、黒以外のものがあれば偽といえるでしょう。しかし、実際には、すべてのカラスを調べることは不可能ですので、この命題の真偽を決定することは不可能だと思われます。
　では、「4の倍数は2の倍数である」という命題の真偽はどのように判定すればいいのでしょうか。カラスの色と同じ判定方法でしょうか。それとも、別な判定方法があるのでしょうか。
　ご意見お願いします。

No.1 ベストアンサー 回答者： asuncion 回答日時： 2012/09/24 20:30

便宜上、話を自然数に限定することにします。

4の倍数は、任意の自然数nを用いて、4nと表わすことができます。
このとき、
4n = 2 × 2n = 2m
と表わすことができます。2mとはすなわち2の倍数のことですから、
命題「4の倍数は2の倍数である」は真であることが証明できました。

この回答への補足

さっそくご意見ありがとうございます。
つまり、この命題の真偽の判定方法は、「証明できるかどうか」ということですね。
カラスの場合の真偽の判定方法とは異なるように思いますが、
「証明できる」ということが、なぜ、真であるということになるのでしょうか。

補足日時：2012/09/24 21:13

この回答へのお礼

　補足に書いたことは、実は、「お礼」ですよね。はじめての投稿で要領がよくわからなくてすみません。
あらためてお礼いたします。

お礼日時：2012/09/27 22:30

No.16 回答者： alice_44 回答日時： 2012/10/01 14:36

「黒い」を「カラス」の定義に含めた場合、「カラスは黒い」は真となりますが、

それが「A ならば A」の問題かというと、そうでもないように思います。

「黒い」を「カラス」の定義に含めるというのは、
∀x,「x はカラスである」⇔(「x は黒い」かつ「x はそれ以外の事項も満たす」)
という公理を論理系に設ける…ということです。
P⇔Q は (P⇒Q かつ Q⇒P) の略記ですから、
「x はカラスである」から「x は黒い」を導けるか？というのは、
「x はカラスである」と「x はカラスである」⇒(「x は黒い」かつ「x はそれ以外の事項も満たす」)
から(「x は黒い」かつ「x はそれ以外の事項も満たす」)を導き、更に
(「x は黒い」かつ「x はそれ以外の事項も満たす」)から「x は黒い」を導くのは妥当か？
という問題だと言えます。

「A かつ (A ならば B)」から B を導くことと、「A かつ B」から A を導くことは、
たいていの論理系に推論規則として含まれており、当に『数学ではそう仮定する』の
筆頭事項のひとつである訳です。
それを、「ならば」と「かつ」の定義の一部と考えることも出きるでしょう。

この回答へのお礼

　ご意見ありがとうございます。
　急に仕事が忙しくなってご返事が遅くなって申し訳ありません。

　いちおう結論めいたものが浮かびましたので、ここに記載させていただきます。
　「カラスは黒い」も「4の倍数は2の倍数である」もまず明らかに命題であり、この形式の命題の真偽を考えるときは、この命題を「∀x(p(x)⇒q(x))」という命題として捕らえ、ngkdddjkkさんがおっしゃるように、「p(x)の真理集合⊆q(x)の真理集合」が成り立てば「真」、成り立たなければ「偽」とすればよい、ということだと思います。この意味では、真偽の判定の考え方は同じですが、実際にこれを確かめるために、あるものがある集合の要素であるかどうかという判定において個々の命題によって事情が異なるということでしょう。「カラスは黒い」では、実際にすべてのカラスを捕まえてきて、その色を調べなければなりませんが、カラスは無限にいます（時間的に）ので、この作業を完遂することは不可能です。しかし、「4の倍数は2の倍数である」の方は、4の倍数は無限にありますが、asuncionさんやereserve67さんがおっしゃられているように、変数を利用することで、いっきょに2の倍数となることを示すことができ、真であることがわかります。
　つまり、真偽の判定方法は同じだが、実際に確かめる場合は、いろいろなケースがあるということで、いちおう解決したことにしたいと思います。
　なお、後半は形式的な話になってきて、こちらも面白そうで興味がありますが、とりあえず「真偽」の話からは離れそうなのでまた機会があったらということでお願いします。
　皆様ご意見ありがとうございます。ベストアンサーは最初に回答をいただいたasuncionさんにしたいと思います。


　
　
　

お礼日時：2012/10/14 21:46

No.15 回答者： 178-tall 回答日時： 2012/09/30 09:07

>カラスの定義に「黒い」を加えると、悉皆検査からは開放されそう、というのは、調査しなくても真偽が決定されるということですね。

つまり、「カラスは黒い」という命題が、「カラスは黒いならばカラスは黒い」という命題に還元できるので、論理的に真だと主張していますか。この根拠は何でしょうか。「AならばA」という主張は無条件に真だということでしょうか。

帰納による真偽決定は不可能らしいから、カラスの定義をいじり、演繹での真偽決定へとすり替えるのは可能か？
残念というか、当然というか、不可能とは断じきれない。もともと、人類の「推論体系」は手前勝手の四文字に尽きます。

定義や推論則を固めて命題群を導き出す論理ないし数理的な「推論体系」でも、定義や推論則を変えてやると、有用な新変種が生まれる可能性がある。「推論体系」に恣意性を潜入させるのは、それほど難事じゃありません。時間の計測を徹底して排除したゼノンの体系は有名な一例です。

残るのは、不倒距離の長短でしょうか？
カラスの定義をいじるという「トートロジー作戦」は姑息に過ぎ、他人様が容認してくれそうも無い。スタートのとたんに行き倒れるはず。
これに対し「4 の倍数は偶数」は、当分の間、無条件に真だと信じられ続けそうです。

アホなハナシになりました。
蒙御免 (モウ、御免) 。
　　

この回答へのお礼

　ご意見ありがとうございます。
　急に仕事が忙しくなってご返事が遅くなって申し訳ありません。

　いちおう結論めいたものが浮かびましたので、No.16のalice_44さんの回答のお礼に記載させていただきました。

お礼日時：2012/10/14 21:50

No.14 回答者： 178-tall 回答日時： 2012/09/29 09:12

>「カラスの色」も人類固有の「仮想現実」といえなくはありませんが、ここでは一応「現実ベッタリ」という感じで「仮想現実」ではないと強論してました。

あと一歩、「カラス」の定義目録に「羽の色は黒い」を加えれば、「カラスの色」の悉皆検証からは開放されそう。

鳥類学者などが、「羽の色」は黒くなくかつ他の定義目録は「カラス」と同一である新種の鳥を探索するのは、止められませんけど…。

　　

この回答へのお礼

　ご意見ありがとうございます。
　カラスの定義に「黒い」を加えると、悉皆検査からは開放されそう、というのは、調査しなくても真偽が決定されるということですね。つまり、「カラスは黒い」という命題が、「カラスは黒いならばカラスは黒い」という命題に還元できるので、論理的に真だと主張していますか。この根拠は何でしょうか。「AならばA」という主張は無条件に真だということでしょうか。

お礼日時：2012/09/29 21:14

No.13 回答者： alice_44 回答日時： 2012/09/28 20:03

"exaustive verification" とか「悉皆検証」とか検索するから、見つからないのでは？

普通に「全数検査」とか「シラミつぶし」とか調べてみると、イイコトあるかも。
英語であれば、"brute force method" とかね。
数学でこれが成功した例と言えば、「四色問題」が有名だと思う。

←A No.10-11
「仮想現実」でない、真の「現実」の存在こそ、
それこそ「仮想」なのではないかと…
(こっちの話は、哲学の祖先みたいな話題だから、そっち系の人が詳しいのでしょうね。)

この回答へのお礼

　ご意見ありがとうございます。
　「四色問題」の解決は、全数検査のパターンを示したのですよね。その意味では、「4の倍数...」で、4の倍数を4nと表したのも全数検査のパターンだと思います。このように変数（この場合は、自然数（整数）を表すn）を導入して、無限を一括して認識する、ということで真偽判定できる、というのは、仮想かリアルか、という対立点ではなく、「ことば」の操作でどこまで追えるか、という問題だと思います。

お礼日時：2012/09/29 21:41

No.12 回答者： 178-tall 回答日時： 2012/09/28 08:41

>"exaustive verification"を検索してみましたが、どうもぴたっとわかる記事（しかも日本語で）にあたりません。

"exhaustive verification" そのものは、当方も不案内。
かといって、既成の「用語」をうかつに使うと、横道へ引きずり込もうと要らざる因縁をつけられそうなテーマなので、割りと当方の意見を代弁してくれそうな、見慣れぬ「用語」を借用した次第。

「仮想現実」も、未熟な分野では、"Efficient Exhaustive Verification of the Collatz Conjecture ..... " などというタイトルを見ることができます。
この内容も当方にはチンプンカンプンながら、「仮想現実」といえども、いまだに"悉皆検証" の手抜きをできずにいる分野が山盛りなのだ、とは感じさせてくれます。

　　　

No.11 回答者： 178-tall 回答日時： 2012/09/28 08:15

>でもその根拠は、「自然数」が「仮想現実」だからではなく、最初に回答をいただいたasuncionさんや、２回目に回答をいただいたereserve67さんの「証明」にあるように、「4の倍数」を変数nを使って4nと表したところにあるように思います。

当方の「仮想現実」は、やや常軌を逸した線引きなのでしょうね。

「カラスの色」も人類固有の「仮想現実」といえなくはありませんが、ここでは一応「現実ベッタリ」という感じで「仮想現実」ではないと強論してました。
「4」とか「4の倍数」になると、レッキとした「仮想現実」だと思ってます。
有無を言わせぬ「証明」は、この「仮想現実」の土俵でしか実行できないのじゃありませんか？

　　　

No.10 回答者： 178-tall 回答日時： 2012/09/26 12:15

検索エンジンからの反問。

>"exhaustive verification" ではありませんか？

ハイ、はい。

　　

No.9 回答者： 178-tall 回答日時： 2012/09/26 12:08

>「4の倍数は2の倍数である」という命題の真偽はどのように判定すればいいのでしょうか。

この例に限れば、「悉皆検証」の手抜きが可能。
…というより、手抜きの悉皆検証しかできない。
　(10 進表示にかぎられるけど) 最右一桁の数字が 4 で整除可なら全体も 4 の倍数。
　最右一桁が 2 で整除可なら全体も 2 の倍数。
を知っておれば、カラスの場合には避けられそうもない「悉皆検証」に挑戦する必要なく、命題の真偽を判定できている。

カラスの場合は、個別のカラスとその色を悉皆調査するしか、命題の真偽を確かめようが無い。
4 と 2 の倍数の場合、それこそ無数の対象から抽出した「自然数」という一種の「仮想現実」の体系 (完全か不完全か、という疑惑は残るだろうが…) を構築し、その中にて矛盾無く判定できているようです。

"exaustive verification" というのは、コンピュータ・ソフト業界の願望をこめたターゲット、という代物らしく、真の実現例は未達成の模様。ソフトも「仮想現実」の一体系なので、いい線行けるのかもしれませんが…。

　　　

この回答へのお礼

　引き続きご意見ありがとうございます。
　「4の倍数...」の場合は、すべての4の倍数を調べなくてもＯＫということですね。確かにそう思います。でもその根拠は、「自然数」が「仮想現実」だからではなく、最初に回答をいただいたasuncionさんや、２回目に回答をいただいたereserve67さんの「証明」にあるように、「4の倍数」を変数nを使って4nと表したところにあるように思います。つまり、変数という手段によって、無数にある4の倍数が一挙にとらえられ、「4は2の倍数」、「8は2の倍数」、「12は2の倍数」、...という無数の個別の場合がいっせいに正しいことが示されたからだと思います。カラスの場合はそのような変数がないのでうまくいかないようです。
　"exaustive verification"を検索してみましたが、どうもぴたっとわかる記事（しかも日本語で）にあたりません。

お礼日時：2012/09/27 22:22

No.8 回答者： alice_44 回答日時： 2012/09/26 09:32

(補足への応答)

後半は、「証明されれば真」であるということは
その「証明」を行う論理系自身の上では証明できない:
証明できないことがキチンと証明されている…という話です。
だから、前述のように「仮定」するしかない。
興味があれば、ゲーデルの業績について
調べてみればよいのですが、たいへん難解な代物です。
スマリヤンの書いた一般向け解説書(数種類ある)
が、比較的読みやすいかも知れません。
哲学系の人が書いている本は、著者自身が
理解していないことが多く、注意が必要です。

この回答へのお礼

　引き続きご意見ありがとうございます。
　「証明されれば真」である、の中の「証明」は多分、一定の条件をみたす命題の列のことだと思いますが、「真」は何でしょう。何かここに回答の鍵があるような気がしてきたのですが。
　ゲーデルの業績についてですが、岩波文庫の「不完全性定理」を一回だけ途中まで読みましたが、何がなんだかさっぱりわからないところです。機会があったらまた読んでみます。

お礼日時：2012/09/27 22:02