![](http://oshiete.xgoo.jp/images/v2/pc/qa/question_title.png?e8efa67)
No.1ベストアンサー
- 回答日時:
「Aは真であり、Bも真である」が最も簡潔明瞭でしょう。
「A,Bが"4つの関係"の最初のやつ(A∧Bが真)を満たす」ということは、「Aは真、Bも真」ということと同じ意味である。これは論理積の定義から明らかです。
そして、のこり3つの"関係"は「Aは真、Bも真」という前提から直ちに帰結できます。(つまり、これら3つの"関係"は何も言っていないのと同じ。)ということは、これら"4つの関係"は相互に矛盾しておらず、従って、「命題Aと命題Bについて次の4つの関係が成り立つ」ということが実際に生じるようなA,Bの選び方が存在する(すなわち、Aとして真なる命題、Bとして真なる命題を選べば良いわけです。)
(なんでこんな議論をするかというと、"4つの関係"の内容によっては「"4つの関係"を全部満たすようなA,Bはない」という場合だってありうるからです。たとえば2番目の”関係"をA∧¬B→真に差し替えた場合。)
以上から、「AとBはどっちも真である」とだけ言っとけば足ります。
大変にありがとうございます。
補足質問(というか追加質問)をさせて下さい。
●パターン2
命題Aと命題Bについて次の4つの関係が成り立つ時、
A∧B→偽
A∧¬B→真
¬A∧B→真
¬A∧¬B→偽
下記の言い方は合ってますか?
1.「AとBには排他的論理和の関係がある」
2.「AとBの排他的論理和は真であり、AとBの排他的論理和の否定は偽である」
より端的・適切なものがあれば教えて下さい。
よろしくお願いします。
No.3
- 回答日時:
ANo.2へのコメントについてです。
> 命題Aと命題Bの真偽の組み合わせ4パターンのうち
> 一つが真だと残りは必ず偽になるということは分かりました。
どうにも奇妙なこのご発言から、質問者氏は命題という言葉や論理演算子の記号を憶えたものの、それらの意味が分かっていないのだとお見受けします。一知半解のままぐるぐる廻りをやってるうちにこんぐらがっちゃったのでしょう。
いや、はっきり言った方が良いですね。
質問者氏の論理式の理解は、(正しい理解に似てはいるけど)根本的に間違っているんです。
このご質問の本質は、「論理学の中にへんてこな部分がある」ということではない。そうではなくて、質問者氏が根本的な誤解をしているために、何かへんてこに感じられることが出てきた、ということなんですよ。言い換えれば、ご自身が誤解しているということの兆候を、ご自身で発見なさったのです。
しかし、どういう間違いをなさっているかを解明する作業は大変な上に、質問者氏以外の者にとっては全く無価値です。また、仮にそれが分かったとして、どこがどう間違いなのかを説明しても、間違いに陥っている方にはなかなか理解できないだろうと思います。
ですからこれはね、一度きれいさっぱり忘れてリセットした上で、マトモな教科書を使って、初めから虚心坦懐に勉強なさることをお薦めします。
****************
しかし、一応説明しておきましょう。
ANo.2へのコメントで仰る所の「真偽の組み合わせ」というのは、たとえば「Aが偽でBが真」ということ。だから「真偽の組み合わせ」は互いに排他的な4通りです。排他的なのだから、ひとつを選んでそれが真だとすれば残り3つは偽です。
また、「一つが真だと残りは必ず偽になる」モノと仰っているモノとは、(当初のご質問の文章では)4つの論理式{A ∧ B, ¬A ∧ B, A ∧ ¬B, ¬A ∧ ¬B}ですが、これらはたまたま上記の「真偽の組み合わせ」と同じモノである。(なぜなら、上記の「真偽の組み合わせ」を論理式で書けば、{A ∧ B, ¬A ∧ B, A ∧ ¬B, ¬A ∧ ¬B}である。)
ですから、「ひとつを選んでそれが真だとすれば残り3つは偽になるようなものは、一つが真だと残りは必ず偽になる。これはなぜだ?」と尋ねているのが、元々のご質問なのです。(もちろん、答は「なぜもナニモ、同じこと(同義反復)じゃん!」です。)
一方、ANo.2へのコメントにお書きのご質問では、「一つが真なのに残りのパターンに不定がある」モノと仰っているモノは、4つの論理式{A → B, ¬A → B, A → ¬B, ¬A → ¬B}である。(これは「真偽の組み合わせ」{A ∧ B, ¬A ∧ B, A ∧ ¬B, ¬A ∧ ¬B}とは異なるから、元々のご質問とは全く話が違います。)
この場合、{A → B, ¬A → B, A → ¬B, ¬A → ¬B}のうち、必ず3つが真であり、残りひとつが偽である。(真偽値に「不定」なんてものはありません。)
{A ∨ B, ¬A ∨ B, A ∨ ¬B, ¬A ∨ ¬B}なら、必ず3つが真であり、残りひとつが偽である。
{A ≡ B, ¬A ≡ B, A ≡ ¬B, ¬A ≡ ¬B}なら、必ず2つが真であり、残り2つが偽である。
> ・かつ(∧)
> ・ならば(→)
> にこのような違いがあるのは何故でしょうか?
両者は違うものだからですよ。(同じになるはずだという論拠をもしお持ちなら、その論拠はもっともっと根の深い初歩的な誤解から生じているに違いありません。)
No.2
- 回答日時:
ANo.1へのコメントに書かれた追加質問についてです。
これもNo.1で回答した要領をなぞってお考えになればいいんです。そうすれば
命題Aと命題Bについて
A∧B→偽
A∧¬B→真
¬A∧B→真
¬A∧¬B→偽
が全て成立つということは(どんなA, Bを持ってきても)あり得ない、ということがお分かりになるでしょう。
ま、やってみましょう。
まず、(A∧¬B)が真 なのだから、Aが真であり、Bが偽であることが分かります。
ということは、(¬A∧B)は偽である。
つまり、(¬A∧B)と(¬A∧B)がどっちも真になるということはアリエない。
なので、「これら"4つの関係"は互いに矛盾している」と言うのが最も簡潔な表現でしょうね。
ともあれ、連言 A∧B が何を意味しているかがお分かりになっていないようです。No.1を再読なさって下さいな。
ありがとうございます。
その後じっくり考えてみたのですがまだ疑問があります。
補足質問をもう一度させて下さい。
命題Aと命題Bの真偽の組み合わせ4パターンのうち
一つが真だと残りは必ず偽になるということは分かりました。
では次の場合にはどうなるのでしょうか?
このサイトの削除ポリシーを例にします。
「違反のある投稿以外は削除しておりません。」
命題A:「その投稿に違反がある。」
命題B:「その投稿は削除される。」
A→B 「違反があると削除される。」 ←不定
A→¬B 「違反があると削除されない。」 ←不定
¬A→B 「違反がないと削除される。」 ←偽
¬A→¬B 「違反がないと削除されない。」 ←真
一つが真なのに残りのパターンに不定があるのは何故でしょうか?
・かつ(∧)
・ならば(→)
にこのような違いがあるのは何故でしょうか?
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 哲学 日本語は論理表現にふさわしくないか の問題です 4 2022/06/25 03:56
- 数学 論理式、合成命題について 命題変数と論理記号を用いて命題を形式的に構成したものを論理式、または合成命 1 2022/04/12 21:06
- 数学 論理的言語の種類 排中律 が成り立たない、命題が真か儀かではない中間の値を取れる、 場合の論理体系に 3 2022/04/30 10:14
- 政治 EV普及時に「道路利用税」 新税財源、委員が提案 政府税調 これ何なの? 頭おかしいよね? 5 2022/10/26 19:56
- 哲学 説得力を修辞の巧みさまたは論理の強さの2つに分析するにはどうすると良いでしょうか? 0 2022/07/20 05:46
- 哲学 美大に通っている者です。哲学の講義を受けているのですが、小テストについて分からない問題があります。 2 2022/06/17 14:40
- 日本語 意味とは何か? どこにあるのか?(Ⅱ) 4 2022/04/21 13:35
- 哲学 妥当な推論の根拠について 1 2022/08/04 22:54
- 数学 「古典論理」と「直観主義論理」について以下の質問をしました。 何かを証明したいときに「古典論理」では 3 2022/08/26 10:07
- 哲学 不毛な議論 8 2023/03/03 07:31
おすすめ情報
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
a>b ⇒ a-b>0 の命題の逆と真偽
-
命題の真偽を調べよ。①直角二等...
-
「PならばQ」と「(Pでない...
-
任意の実数とは?
-
ゲーデルの第1不完全性定理の具...
-
g◦fが全射で、さらにgが単射な...
-
命題
-
ある範囲の素数の個数
-
数学の記号"⇔" "∴"の使い方を教...
-
ゲーデルの不完全性定理に現れ...
-
論理式について
-
無理数
-
dx/dy や∂x/∂y の読み方について
-
【数学】 lim x→a ↑これってど...
-
エクセルで(~以上,~以下)...
-
年代と年台・・・どちらが正し...
-
高2の数学の対数関数です。 真...
-
lim[n→∞](1-1/n)^n=1/e について
-
熱力学 (dU/dV)t の解
-
方程式 e^x=x+1 の解
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
「PならばQ」と「(Pでない...
-
写真の命題1.3の証明についてで...
-
数学の記号"⇔" "∴"の使い方を教...
-
a>b ⇒ a-b>0 の命題の逆と真偽
-
「帰納法とは、本来前提となる...
-
数学に詳しい人教えてください...
-
命題の否定でわからないところ...
-
無理数
-
任意の実数とは?
-
命題の真偽
-
命題の真偽を調べよ。①直角二等...
-
命題
-
【 数A 集合を用いた命題の真偽...
-
命題と論理式の違いは何でしょ...
-
命題がわかりません!!
-
ゲーデルの第1不完全性定理の具...
-
ある表現が命題かどうかを示す...
-
limsup(sinN)=1?
-
g◦fが全射で、さらにgが単射な...
-
数学 命題と条件 xは実数とする...
おすすめ情報