No.2
- 回答日時:
それは、定義 というより、フリガナ という感じですね。
その「かつ」と「または」の意味は?
フリガナを振るにしても、集合演算ならば、
「交わり」と「結び」とか、
「共通部分」と「合併」とか、
「積」と「和」とか、
「キャップ」と「ユニオン」とか、何とか、
他に言いようがあるかと思います。
「かつ」と「または」では、まるで論理演算のようだし、
∧ と ∨ は、通常、論理演算に使う記号です。
集合演算の「共通部分」と「合併」は、普通は
∩ と ∪ で書きます。もっとも、これらを
∧ と ∨ で書く人もいるのですが …
その辺をわかって書いているのかどうか、
尋ねてみたかったのです。
私なら、集合演算 ∩ と ∪ を
(x ∈ A ∩ B) ⇔ (x ∈ A) ∧ (x ∈ B)
(x ∈ A ∪ B) ⇔ (x ∈ A) ∨ (x ∈ B)
で定義して、話を始めます。
ここで、∧ と ∨ の記号は、
論理演算「かつ」と「または」を表しています。
何を言っているか、通じたでしょうか?
この回答への補足
仰るように
(x ∈ A ∩ B) ⇔ (x ∈ A) ∧ (x ∈ B)
(x ∈ A ∪ B) ⇔ (x ∈ A) ∨ (x ∈ B)
です。
∧ = ∩
∨ = ∪
となり形は知がえど意味は論理演算の「かつ(共通集合)」、「または(合併)」です。
ややこしくてすみません。
No.3ベストアンサー
- 回答日時:
> ∧ = ∩
> ∨ = ∪
> 形はちがえど意味は論理演算の「かつ(共通集合)」、「または(合併)」です。
意味は伝わったようですが、気持ちは通じなかったようです。
集合演算と論理演算の区別、集合 A と述語 x∈A の区別が
大切だと語ったつもりでしたが。
こういった基礎的事項を考えるときは、定義がとても重要です。
定義を雰囲気で流してしまうと、何を基に何を証明したのか?
それは証明として成り立っているのか? が不明瞭になってしまいます。
さて、気を取り直して本題ですが、
A ∪ (B ∩ C) = (A ∪ B) ∩ (A ∪ C)
A ∩ (B ∪ C) = (A ∩ B) ∪ (A ∩ C)
の証明には、概ね2通りの立場があると思います。
ひとつは、集合演算を代数系として公理的に定義してしまう立場。
要するに、
http://www004.upp.so-net.ne.jp/s_honma/logic/boo …
というようなことです。
そこでは、∩ と ∪ の分配法則 自体が公理のひとつですから、
証明は、やりようがないというか、「公理より自明」で終わりです。
もうひとつは、論理学の上に集合論を構成してみる立場。
No.2 に書いた
(x ∈ A ∩ B) ⇔ (x ∈ A) ∧ (x ∈ B)
(x ∈ A ∪ B) ⇔ (x ∈ A) ∨ (x ∈ B)
は、その一部です。
この場合、集合論に先立って、述語論理が既知でなければなりませんが、
述語論理の公理系に
P ∨ (Q ∧ R) ⇔ (P ∨ Q) ∧ (P ∨ R)
P ∧ (Q ∨ R) ⇔ (P ∧ Q) ∨ (P ∧ R)
が公理として含まれていますから、
ここでも、証明は、P, Q, R に x∈A, x∈B, x∈C を当てはめるだけです。
あと、集合の一致 A=B の定義 (x ∈ A) ⇔ (x ∈ B) を使うくらいかな。
この証明を見て、文字 P を文字 A に換えただけじゃん…と
思って欲しくないから、長々前フリをしたのです。
A は集合であり、P や x∈A は命題です。
意味の違うこれらのものが、共通の形式を持つことが、重要なのです。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 物理学 合力、分力、てこの原理 0 2023/02/17 17:42
- 高校 高2数Bの質問です。 ベクトル PB+DS-PS-XB=DX を証明する問題です。 →は省略させて頂 2 2022/05/15 01:03
- 数学 『◯と●の帰納法』 2 2023/04/19 20:57
- 宗教学 旧統一教会の被害者救済に向けて悪質な寄付を規制する新たな法案は、衆議院本会議で、自民・公明両党や立憲 3 2022/12/10 20:37
- 数学 線形代数 正則 階数 3 2023/03/22 07:52
- 数学 代数学 同型 1 2022/05/09 16:27
- 物理学 面積速度一定の法則を(1/2)r v sinθを使って証明する方法 2 2023/06/25 12:43
- その他(教育・科学・学問) 英文校正についての質問 1 2022/06/14 14:58
- 数学 『数学的帰納法のトリセツ』 4 2022/06/06 07:34
- 法学 *注意:正しい選択肢を選ぶ問題です。 表現の自由と名誉毀損罪に関する次の説明のうち,最も適当なものを 1 2022/11/27 08:54
おすすめ情報
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
トライクについて質問 トリニシ...
-
無限から無限を引いたら何にな...
-
皆さん定義を教えてください 「...
-
「互いに素」の定義…「1と2は互...
-
フーリエ変換について質問です。
-
p⇒q=(¬p)∨qについて
-
「logx^2=2logx」が間違って...
-
べき乗
-
ACCESS VBAでインポート定義の場所
-
最大元と極大元の定義の違いが...
-
数学、虚数の大きさは?
-
eの0乗は1ってどういう原理です...
-
lim n→0 =n=0となりますが lim ...
-
無限遠点での留数
-
集合間演算に関する質問
-
Excel関数で、セル内の文字列の...
-
1未満と1以下の違い
-
EXCELで定義した名前をVBAで参...
-
えっ!「来週」の使い方…
-
変数の宣言の名称を教えてくだ...
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
皆さん定義を教えてください 「...
-
べき乗
-
無限から無限を引いたら何にな...
-
1未満と1以下の違い
-
p⇒q=(¬p)∨qについて
-
「logx^2=2logx」が間違って...
-
数字の1とは何なのか?
-
「互いに素」の定義…「1と2は互...
-
変数の宣言の名称を教えてくだ...
-
ACCESS VBAでインポート定義の場所
-
日本語 ことば ひとまわり ふた...
-
ACCESS IIF関数 複数条件の設...
-
Excelファイルの「数式」タブ→...
-
e<3の証明を教えてください。
-
なぜ小数は自然数ではないので...
-
ヘシアンが0の場合どうやって極...
-
2進数の符号ビットの入った数...
-
最大元と極大元の定義の違いが...
-
eの0乗は1ってどういう原理です...
-
フーリエ級数展開の初項はなぜa...
おすすめ情報