集合論電卓

集合論とは？

集合論は、集合と呼ばれる対象の集まりを研究する数学論理学の一分野です。1870年代にゲオルク・カントールによって創設され、事実上すべての現代数学の基礎となっています。集合はその構成員によって定義されます。2つの集合が等しいのは、それらがまったく同じ要素を持っている場合のみです。

• 離散数学 — 組合せ論、グラフ理論、形式言語の基礎
• コンピュータサイエンス — データ構造（HashSet、TreeSet）、データベースクエリ（JOIN = 共通部分、UNION = 和集合）、型システム
• 確率論 — 事象は集合としてモデル化され、和集合と共通部分はそれぞれ「または（OR）」と「かつ（AND）」の事象に対応します
• 論理学 — ベン図は論理的関係を視覚化し、集合演算は論理演算子を反映します

この集合論電卓の使い方

各集合の要素をカンマで区切って入力してください。数字、文字、単語、または任意のテキストを要素として使用できます。電卓は自動的に主要な集合演算をすべて計算し、インタラクティブなベン図を表示します。

• 要素をカンマで区切って入力します — 例：1, 2, 3, 4, 5 や りんご, バナナ, さくらんぼ
• 3つの集合演算やトリプルベン図を表示するには、集合C（オプション）を使用します
• 補集合（Aᶜ, Bᶜ）を計算するには、全体集合を定義します
• ベン図演算ボタンをクリックして、異なる領域をハイライト表示します
• プロパティタブを使用して、濃度（要素数）、部分集合関係、集合の相等性を確認します

集合演算リファレンス

主要な集合論の法則

これらの基本的な法則は、数値の代数法則と同様に、集合演算がどのように相互作用するかを規定します：

• 交換法則: A ∪ B = B ∪ A および A ∩ B = B ∩ A
• 結合法則: (A ∪ B) ∪ C = A ∪ (B ∪ C) および (A ∩ B) ∩ C = A ∩ (B ∩ C)
• 分配法則: A ∩ (B ∪ C) = (A ∩ B) ∪ (A ∩ C)
• ド・モルガンの法則: (A ∪ B)ᶜ = Aᶜ ∩ Bᶜ および (A ∩ B)ᶜ = Aᶜ ∪ Bᶜ
• 同一性（単位元）: A ∪ ∅ = A および A ∩ U = A
• 補集合の性質: A ∪ Aᶜ = U および A ∩ Aᶜ = ∅
• べき等法則: A ∪ A = A および A ∩ A = A

集合論の応用

集合演算を理解することは、多くの分野で非常に重要です：

• SQLデータベース — UNION, INTERSECT, EXCEPT はクエリ結果に対する集合演算です
• Pythonプログラミング — set 型は |（和集合）、&（共通部分）、-（差集合）をサポートしています
• 確率論 — P(A ∪ B) = P(A) + P(B) − P(A ∩ B)（包含排除の原理）
• デジタル論理 — 集合演算はロジックゲート演算（OR, AND, NOT）に対応します
• データ分析 — データセットの比較、共通レコードの検索、ユニークなエントリの特定