![](http://oshiete.xgoo.jp/images/v2/pc/qa/question_title.png?e8efa67)
ある二つの命題AとBがあり、二つとも真で、両者が真であることが矛盾もしていないとしても、両立することはない、ということはあるのでしょうか?
具体例を挙げます。
空集合φが任意の集合Sの部分集合であるかどうかについて、二つの命題が成り立つと思われます。
Ⅰ.x∉S⇒x∉φ対偶をとりx∈φ⇒x∈S
Ⅱ.x∈S⇒x∉φ対偶をとり、x∈φ⇒x∉S
ⅠはφがSの部分集合であるという主張、ⅡはφがSの部分集合でないという主張で両者とも真です。
ここで、対話型AIにこのことについて質問してみました。
「ⅠとⅡは両者とも真であるのだから、つまり、二つは両立するのか?」
『いいえ、両立はしない。Ⅱは真であるが、Ⅰと矛盾せず、従って、ⅠのφがSの部分集合であるという命題が成立する』
「しかし、ⅡがⅠと矛盾しないということは、逆に言えば、ⅠがⅡと矛盾せず、従って、ⅡのφがSの部分集合でないという命題が成立するということもできる。したがって、両者は両立するともいえるのではないか?」
『いいえ。両立はしない。ZF 集合論においては、φがSの部分集合であるという命題が真となる』
「ということは、Ⅱが真というのはZF集合論においては論理的に成り立たないのか?」
『いいえ、2が真であるというのはZF集合論においても真である』
「では、両者とも同じ集合論の中で真であるのだから、やはり両立するといえるのではないか?」
『いいえ。Ⅱが真であることはⅠと矛盾せず、ZF集合論において、φがSの部分集合であることが成立する』
あとは、これの繰り返しとなりました。
そこで、最初の疑問になるわけです。二つの命題が真であり、矛盾もしていないにもかかわらず、両立しないなどということはあるのでしょうか?どうもAIの推論力というか論理展開力というべきか、がまだ不十分で、習得したデータをうまく組み合わせているだけだから、こんな返答になるのではないか?と思えるのですが…。しかし、即断は禁物でしょう。ひょっとして、数学、論理学には、たがいに矛盾しないで真である二つの命題がしかし、両立はしない場合があり得るのかもしれない。
互いに矛盾しないということと両立は厳密には異なる概念なのでしょうか?
![](http://oshiete.xgoo.jp/images/v2/common/profile/M/noimageicon_setting_13.png?e8efa67)
- 画像を添付する (ファイルサイズ:10MB以内、ファイル形式:JPG/GIF/PNG)
- 今の自分の気分スタンプを選ぼう!
A 回答 (1件)
- 最新から表示
- 回答順に表示
No.1
- 回答日時:
あいかわらず、対話型AI の答えはちゃらんぽらんだなあ。
ネットに流れている文章を、内容も理解せずに適当に
切り取って継ぎ合わせるから、そんないー加減な答えになるんですよ。
まず、「命題」「両立する」「矛盾する」という言葉の定義を
きちんと確認してから話を始めてますか?
命題とは、自由変項を含まない述語のこと。
x∈S や x∈φ は、述語であって、命題ではありません。
A, B が命題のとき、 A と B が両立するとは、単に A∧B が真であること。
述語 A(x), B(x) が両立するとは、命題 ∃x,A(x)∧B(x) が真であること。
命題 A, B が矛盾するとは、 ¬(A∧B) が真であること。
述語 A(x), B(x) が矛盾するとは、命題 ¬(∃x,A(x)∧B(x)) が真であること。
定義よりただちに、命題 A, B がともに真であれば、
A, B は両立します。 ∧ の定義から明らかですね。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 数学 存在記号と「または」 5 2022/10/02 19:03
- 数学 数学の集合の問題です。わからないので教えて頂けませんか。 問題は2つです。 1,各集合を, 空集合, 3 2023/06/19 22:17
- 政治学 権力分立と君主主義、民主主義 3 2024/02/01 20:57
- 数学 空集合の概念が数学で認められるまでにも長い時間を要したって本当? 4 2023/09/25 23:23
- 数学 代数学 環 1 2022/10/11 00:04
- 数学 数列に関係してるかもしれませんが下記の問題の立式を教えてください。 全長450mに、1mに3人並ぶと 5 2024/06/25 00:13
- その他(悩み相談・人生相談) 部活と勉強の二刀流(両立)って言葉と、二兎追うものは一兎も得ずって言葉矛盾してない?本業、副業も。 2 2023/01/21 00:01
- 数学 代数学のわからない問題を教えて頂きたいです。 つぎのn次正方行列の集合Hはn次一般線形群GL(n,R 5 2022/11/19 20:47
- 大学受験 ある国立大学の推薦の募集要項に、合格した場合、入学することを確約できるもの、とありましたがその大学以 6 2023/06/26 16:56
- 数学 数学に詳しい人教えてください。 演繹法とは、「命題P⇒Q (これは ((¬P) ∨ Q)と全く同義) 2 2024/06/26 22:03
おすすめ情報
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
a≥1とする。曲線y=x(x-a)(x-3a)...
-
どういう発想でこうなると分か...
-
常微分方程式の問題
-
背理法について
-
今更だけど
-
ベクトル方程式がよく分からな...
-
河野玄斗の数学力をどう思いま...
-
Z/nZにおいて、97÷mを求めよ。 ...
-
写真は平面曲線(y=f(x)で表せ...
-
確率の問題について xy平面上に...
-
ごしょく?
-
受けたい大学の出題範囲の数学...
-
線形代数 写真のオレンジマーカ...
-
前にも質問したのかもしれないけど
-
整式 P(x)を(x-1)²で割ったとき...
-
零元のはいっている
-
数学の問題に関して質問です。...
-
写真はロピタルの定理をε-δ論法...
-
数学の説明で Complimentary eq...
-
数学の問題ですが、わかりません
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
おすすめ情報