No.7ベストアンサー
- 回答日時:
これはすでに語り尽くされた問いで,この問いへの答えだけで本が1冊書けてしまう… というのは決して誇張ではなく,
鈴木登志雄(著)「論理リテラシー」培風館
という本はまさに「この問いへの答え」を1冊の本にしてしまったようなものです.
私としては次のように答えておきます.
(1) Pが偽のとき,「PならばQ」は『真になる』のではなく,『真とする』のです.つまり,「PならばQ」という命題の真偽をそのように『定める』のが,数学の世界で合意された約束事です.
(2) なぜそのように定めるのかという理由は,
-- 数学の論理を理論化して形式的に扱えるようにする
-- そのうえで,数学の論理で通常用いられる「ならば」という語と折り合いをつける
ためには『そのように定めるのが都合がよい』からです.
(3) なぜそのように定めると都合がよいのか? この段階で,いろんな説明が試みられています.でも,それを心底『納得』するには,たぶん,自分自身で数学の論理を扱う経験を重ねることで,「数学の論理とは何か」を洞察できるだけの成熟した理解に達する必要があるでしょう.
(4) (数学以外の文脈で用いられる)日本語の「ならば」とどうやって折り合いをつけるのか? これは数学というより文学の問題で,前掲の鈴木登志雄氏の書をじっくり読んでください.
恣意的に「Pが偽の時、「PならばQ」が真になる」論理学を
採用するということですね。
ユークリッド幾何で平行線の公準を採用するように。
となれば非ユークリッド幾何のように、「Pが偽のとき、「PならばQ」が偽」の
論理学を組み立てても良さそうですね。
紹介してくれた本にもあたってみます。
No.11
- 回答日時:
#3 のお礼のところだけど, それは何かを勘違いしています.
「本能寺の変がなかったならば、信長が天下統一してた」に対して「Pが偽なのに、命題の信長天下統一が真になってしまいおかしくないですか?」と書かれていますが, 「仮定が偽のときには条件文そのものが真である」というだけなので「信長が天下統一してた」が真であるか偽であるかについては何一つ言及していませんよ. 「命題の信長天下統一が真になってしまい」があなたの勝手な思い込みであることには注意してください.
本題については, 「文章で書いている」のが問題かもしれないね. 記号で「P→Q」とだけ書いておけばいいのかもしれない.
No.10
- 回答日時:
ドモルガンの法則には「条件文の仮定が偽なら真になる」ことは必要ないですよ。
だから、特に強い結果から導いているわけではありません。対偶の方は説明の方便みたいなもんなので。むしろ「逆必ずしも真ならず」と「対偶と元の命題の真偽の一致」を要請すれば仮定が偽の時真にせざるを得ないという方が正しいです。このあたりは「論理学をつくる: 戸田山 和久」を読めばわかると思います。
いずれにせよ「説明」なんで。ちゃんとやるなら数理論理学の本をどうぞになっちゃいますね。
No.9
- 回答日時:
あと、対偶と元の命題の真偽が一致することに納得できるのなら。
xを実数として
x=0ならばx^2?-1
は真なので、対偶の
x^2 < -1ならばx≠0
も真。これは仮定が絶対に成り立たないので、仮定が偽なら命題は真としないと困りそうなのはわかると思います。
No.8
- 回答日時:
日本語で説明するなら
PならばQである
とは
Pの時必ずQである
って事、つまり、
「Pであって、しかもQでない」ってことは絶対に無い
となる。これは
「Pかつ(Qでない)」でない
だから、ドモルガンの法則から
(Pでない)またはQである
になるので、Pが偽ならば真になる。
ド・モルガンと対偶からの証明は
「Pが偽のとき、「PならばQ」が真である」ことより
強い方法なんでしょうか?
ただ「Pが偽のとき、「PならばQ」が真である」と定義したから、
なりたつ便利な法則なだけでは?
定義と証明の順番が逆立ちしてるように感じます。
No.3
- 回答日時:
その話が典型例ですが、数学の論理では、日常の論理ならば、論理として成り立たないようなところまで、キチンと定義しておかないといけないので、理解はできるが、納得はできないところが出てくるのは、まぁ、仕方ないと言えば、仕方ないのですが…
こういう説明では、どうでしょうか?
P,Qの成り立つ範囲を表す集合を、A,B として、AがBに含まれる(か一致する)のと、P→Q、は等価。
Pが偽だと、Aは空集合、要するに空っぽ、
で、空集合は、空集合も含めて、どんな集合の部分集合にもなりうるから(これも、まぁ、決めのうちですが)
Qが真でも偽でも、AはBに含まれるので、P→Qは真、
世間で使う言葉を、こういう例に持ち出すのは、不正確だったり、誤解を生んだりする怖れも大きいのですが、
そこをあえて、やってみると、
「明日、お日様が西から昇ったら、お前さんに百万円やるよ」
「輜重輸卒(しちょうゆそつ)が兵隊ならば、ちょうちょ・とんぼも鳥のうち」
(昔、兵站・補給を軽視していた、日本陸軍で、最前線で戦闘する兵士が、後方で補給任務を担当する兵士をさげすんでいった、戯れ歌)
などは、数学の論理と丸きり同じではありませんが、仮定が破綻してるしているときは、結論は、何を言っても構わない、という点は、共通しているといえるかも。
命題「本能寺の変がなかったならば、信長が天下統一してた」で考えると、
Pが偽なのに、命題の信長天下統一が真になってしまい
おかしくないですか?
ここまで信長天下統一を強く言えないと思いますが。
No.2
- 回答日時:
PとQの相関関係は
1)P○ Q○
2)P○ Q×
3)P× Q○
4)P× Q×
の4通りが考えられます。
「Pが○ならQも○」というのは、1)はあって、2)はないということを意味しているだけです。
従って、3)、4)に関しては何も言及していません。
(「対偶でQが×ならPも×」も結果的には意味していますが・・・・)
これを実生活で考えると
「お父さんなら男性」
という命題は真です。
お父さんの対語は日本語としてはお母さんですが、お父さんでない人の全てはお母さんではありません。
子供のいない男性もいますし、子供のいる女性(お母さん)も子供のいない女性もいます。
従って、お父さんではない人の性別は不明です。
> 従って、3)、4)に関しては何も言及していません。
Pが×のときは、なにも言及してないので
「PならばQ」が真だと積極的に言えないですよね?
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
このQ&Aを見た人はこんなQ&Aも見ています
-
歩いた自慢大会
「めちゃくちゃ歩いたエピソード」を教えてください。 長時間でも長距離でも結構です。
-
フォロワー20万人のアカウントであなたのあるあるを披露してみませんか?
あなたが普段思っている「これまだ誰も言ってなかったけど共感されるだろうな」というあるあるを教えてください
-
映画のエンドロール観る派?観ない派?
映画が終わった後、すぐに席を立って帰る方もちらほら見かけます。皆さんはエンドロールの最後まで観ていきますか?
-
海外旅行から帰ってきたら、まず何を食べる?
帰国して1番食べたくなるもの、食べたくなるだろうなと思うもの、皆さんはありますか?
-
天使と悪魔選手権
悪魔がこんなささやきをしていたら、天使のあなたはなんと言って止めますか?
-
p⇒q=(¬p)∨qについて
数学
-
「PならばQ」と「(Pでない)またはQ」が同値?
数学
-
数学の論理学的な質問なんですけど、PならばQである。⇔Pでない、またはQとなりますか?
数学
-
-
4
垂心はなぜHで表すのか?
数学
-
5
最大元と極大元の定義の違いが分かりません
数学
-
6
命題「PならばQ」が偽のとき、その対偶も偽であることを証明せよ
数学
おすすめ情報
- ・漫画をレンタルでお得に読める!
- ・人生のプチ美学を教えてください!!
- ・10秒目をつむったら…
- ・あなたの習慣について教えてください!!
- ・牛、豚、鶏、どれか一つ食べられなくなるとしたら?
- ・【大喜利】【投稿~9/18】 おとぎ話『桃太郎』の知られざるエピソード
- ・街中で見かけて「グッときた人」の思い出
- ・「一気に最後まで読んだ」本、教えて下さい!
- ・幼稚園時代「何組」でしたか?
- ・激凹みから立ち直る方法
- ・1つだけ過去を変えられるとしたら?
- ・【あるあるbot連動企画】あるあるbotに投稿したけど採用されなかったあるある募集
- ・【あるあるbot連動企画】フォロワー20万人のアカウントであなたのあるあるを披露してみませんか?
- ・映画のエンドロール観る派?観ない派?
- ・海外旅行から帰ってきたら、まず何を食べる?
- ・誕生日にもらった意外なもの
- ・天使と悪魔選手権
- ・ちょっと先の未来クイズ第2問
- ・【大喜利】【投稿~9/7】 ロボットの住む世界で流行ってる罰ゲームとは?
- ・推しミネラルウォーターはありますか?
- ・都道府県穴埋めゲーム
- ・この人頭いいなと思ったエピソード
- ・準・究極の選択
このQ&Aを見た人がよく見るQ&A
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
命題「PならばQ」でPが偽ならば...
-
背理法と対偶証明の違いについて
-
命題を証明せよとはどういう意...
-
数独 次の一手を教えてください
-
数Ⅰの問題です x,yは実数、nは...
-
この問題の逆 裏 対偶と真偽と...
-
数学で知識を整理したいです 同...
-
強い仮定、弱い仮定、とは
-
「逆は必ずしも真ならず」の証...
-
x,yが互いに素なとき、x+y/2とx...
-
青チャートに、「命題p⇒qの否定...
-
a二乗プラスb二乗をルートでく...
-
カントールの対角線論法につい...
-
数学。「次の命題の真偽を調べ...
-
n=3の倍数ならば、n=6の倍数で...
-
Wikipediaの巡回群の項目について
-
a,bは互いに素な正の整数とする。
-
互換に関して
-
1/m+1/n=1/p
-
【命題が偽である場合の反例の...
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
命題「PならばQ」でPが偽ならば...
-
n=3の倍数ならば、n=6の倍数で...
-
高校数学 ドモルガンの法則につ...
-
命題を証明せよとはどういう意...
-
数学の背理法について質問です...
-
命題論理に関する英単語
-
「逆もまた真なり」について
-
a>0、b>0⇔a+b>0、ab>0
-
強い仮定、弱い仮定、とは
-
有理数を文字置き→互いに素な整...
-
高校数学、論理
-
数学の論理学的な質問なんです...
-
a,bが有理数として√6が無理数を...
-
数学B漸化式です。 a1=1/5, an+...
-
青チャートに、「命題p⇒qの否定...
-
x≠1⇒xの二乗≠1の真偽
-
高1の数学の問題です
-
ウェイソン選択課題について悩...
-
数学で出てくる十分性と必要性...
-
高校数学です!m,nを整数とする...
おすすめ情報