すみません。以下の存在命題の同値変形について、分かりやすく説明してもらえませんか?
∃x(x=0 かつ r=1) ⇔ ∃x(x=0) かつ ∃x(r=1) ⇔ ∃x(r=1) ⇔ r=1
すみません。式変形は、実際にはここまで細かく書かれてなかったのですが、自分で補足してみました。誤りがあるかもしれません。
とりあえず、上が正しいとして、自分の考えと疑問点を以下にまとめます。
1つ目の変形は∃の分配法則と思います。
2つ目の変形の左側は、xが特に指定が無いので実数全体で考えているとすると、0という要素が方程式を満たすので、左側は必ず成立する。なので、残った右側と同値であると言える。ここはおよそそんなところだと考えました。
疑問はその次です。
r=1はxには関係ない命題です。それに∃xがかかっています。
この場合、∃xは無条件で外れるようですが、これが何か説明が載ってなくて理解が曖昧です。
分かりやすく理由を教えてもらえませんか?
色々考えましたが、どうにも納得しなかったので、よろしくお願いします。
No.1ベストアンサー
- 回答日時:
∃の分配法則は、
∃x ( P(x) ∨ Q(x) ) ⇔ ( ∃x P(x) ) ∨ ( ∃x Q(x) )
ですよ。
∃x ( P(x) ∧ Q(x) ) ⇔ ( ∃x P(x) ) ∧ ( ∃x Q(x) )
ではありません。
例えば P(x) ⇔ (x=0), Q(x) ⇔ (x=1) の場合、
( ∃x (x=0) ) ∧ ( ∃x (x=1) ) は真ですが
∃x ( (x=0) ∧ (x=1) ) は偽ですよね?
だから、∃の分配法則によって
∃x(x=0 かつ r=1) ⇔ ∃x(x=0) かつ ∃x(r=1)
を導くことはできません。
しかし、
∃x(x=0 かつ r=1) ⇔ ∃x(x=0) かつ ∃x(r=1)
自体は成り立ちます。
∃x(x=0 かつ r=1) ⇔ r=1,
∃x(x=0) かつ ∃x(r=1) ⇔ r=1
なので、結果的に r の述語として同値なのでした。
理由は、∃の分配法則ではありませんが。
疑問の点
∃x(r=1) ⇔ r=1
は、意味論的には、 x の値がいくつだって r=1 の真偽には影響しないから
∃x があっても無くても同じだろ? ということですが、
ちゃんとした形式論としては、
∃の除去規則↓によります。
https://abelard.flet.keio.ac.jp/person/takemura/ …
要するに、∃はそのように定義されているということです。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 物理学 物理の公式の導出につきまして 10 2023/11/04 17:04
- 物理学 大学理数科目の式変形、ゼロ除算について 3 2024/06/29 22:46
- 数学 数学についての質問です。 Cさん:不等式(1ー√2)x > √18ー3を解くと、 (1ー√2)x > 16 2023/12/29 02:35
- 数学 ブール代数の証明問題 1 2023/09/26 17:03
- 物理学 微分方程式の物理現象への適用について 3 2023/05/14 12:22
- 数学 平方完成の問題を解いていて疑問に思ったことを質問させて頂きます。 13 2023/09/18 09:50
- 数学 2次関数の問題です。よろしくお願いします。 2 2024/06/23 22:56
- 日本語 <補助形容詞>「ない」という本質的な誤りについて 15 2023/09/14 16:36
- 数学 数学に詳しい人教えてください。 演繹法とは、「命題P⇒Q (これは ((¬P) ∨ Q)と全く同義) 2 2024/06/26 22:03
- 物理学 波動方程式について質問です。 写真2枚目(補足部分)のマーカー部分の意味がよく分かりません。 fはu 1 2023/10/13 11:14
このQ&Aを見た人はこんなQ&Aも見ています
-


中学生です、数学の問題を教えてください。 先生のオリジナル問題で 「10mの立方体のチョコレートの上
中学校
-


積分記号の読み方 高校で習う普通の積分記号∫は「インテグラル」と読みますが、閉曲線全体に渡って線積分
数学
-


√1って|1|もしくは±1ですよね?
数学
-
-
4

答えは分かるのですが解き方が分かりません!高校数学
数学
-
5

問2なのですが、黄色い線から青い線になる計算がどうやってやったのか分かりません(´;ω;`)解説お願
数学
-
6

いくら圧縮しても水の密度は変わらないのに深海にいくと生身の人間が潰されてしまうのは何故ですか?
その他(自然科学)
-
7

(2)の問題で(0,2)を通ることを1回も使ってませんが良いのでしょうか?
大学受験
-
8

数学
高校
-
9

金って人工的に生成出来ないんですか? 今の人間の科学技術って 凄い!!素晴らしいんですよね? メディ
その他(自然科学)
-
10

この回答あってる
数学
-
11

この問題の解き方教えてください ルートがないやつなら解けるのですが、ルートがあると解らないです…
計算機科学
-
12

数学2「絶対値と不等式」についての質問
高校
-
13

なぜ分子が1になるんですかこれ?あと、なぜ答えが0なんですか? 数学数学
数学
-
14

条件p「a:b=2:3」と条件q「2a:3b=4:9」は同値でしょうか?
高校
-
15

aを正の定数とする
数学
-
16

この画像において、なんで奥にいる人達の方が大きく見えるんですか? 普通遠近法って近くの人が大きく見え
その他(形式科学)
-
17

大学数学 質問です 上限、下限の定義で疑問に思う点があります。 上限についてお話しします。 多くの上
数学
-
18

数学
数学
-
19

満月は必ずしも月齢 15.0ではない
宇宙科学・天文学・天気
-
20

t=14+7s/2 s = -4a-4/3a+2 のときtを求めよ この計算問題で答えが t = 7
数学
関連するカテゴリからQ&Aを探す
おすすめ情報
このQ&Aを見た人がよく見るQ&A
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
皆さんが高校生の時、修学旅行...
-
部活動が必要か不必要かの質問...
-
数Ⅰ関数です。(2)の解説お願...
-
テスト問題について質問です。 ...
-
女子校出身の人に質問です
-
数学の問題の解説をお願いしま...
-
高校時代、担任の女の先生が教...
-
受験勉強をするよりも効率的
-
高校の自主退学制度を一部廃止に
-
テスト期間で明日テストなのに...
-
なぜ高校の職員室には、”全校一...
-
県立高校で教師が飲酒
-
高校入った当初はこんなに疲れ...
-
1クラスに同じ中学出身者が集ま...
-
通信制 第一学院高等学校につい...
-
高校生活慣れるにはどれくらい...
-
高校生になった娘。 毎日めちゃ...
-
どうして、バイト禁止 の高校が...
-
通学定期廃止について質問です...
-
【高校のパソコンの授業の疑問...
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
県立高校で教師が飲酒
-
高校入った当初はこんなに疲れ...
-
高校無償化
-
どうして、バイト禁止 の高校が...
-
新高一女子です 高校に行きたく...
-
なぜ高校の職員室には、”全校一...
-
高一女です。舌ピしたいんです...
-
農業高校は
-
同じ高校に親が教師で子が生徒...
-
灘高理科の入試問題が分かりま...
-
高認を受けて、通信制大学へ行...
-
数学2「絶対値と不等式」につい...
-
今、都立高校1年生で自分の学校...
-
1クラスに同じ中学出身者が集ま...
-
「高校生活への抱負」について...
-
(1)が24個、(2)は21個です...
-
新高一です! 部活動について質...
-
通信制高校 レポート、勉強全て...
-
お恥ずかしい事を尋ねますけど...
-
偏差値70の高校の進学先ボリュ...
おすすめ情報


















お返事ありがとうございます。勉強になります。
分配法則ではなかったんですね。ご指摘ありがとうございます。
r=1の真偽はxには無関係に決まる。
言い換えると、r=1が真であれば、どんなxに対してもそれは真なわけだから、そういうxは存在すると言えるし、逆にr=1が偽であれば、xの値がいくつであっても、それによって真偽が覆ることは無いから、そんなxは存在しない。
まとめると、∃x(r=1)⇔r=1 ‥両辺の真偽は一致するので同値。
という理解で良いでしょうか?
理解が悪くてあまり自信ないです。