FE基礎理論 · 離散数学

補集合

Complement Set

ほしゅうごう

全体集合のうち、ある集合Aに属さない要素全体からなる集合。A̅またはAᶜと表記する。論理否定（NOT）に対応する。

共有:

他の資格での定義

全体集合Uに対して、集合Aに属さない要素全体からなる集合。A̅またはA^cと表記する。論理否定（NOT）に対応し、ド・モルガンの法則により和集合・積集合の補集合を変換できる。

Past Exams

過去問で 9 回出題（応用情報技術者試験 5・高度試験午前Ⅰ 3・基本情報技術者試験 1）

出典: 独立行政法人情報処理推進機構（IPA）の過去問題。問題文は IPA のサイトの PDF で確認できます。用語名で照合しているため、関係の薄い問題が含まれることがあります。

2つの集合A、Bの少なくとも一方に属する要素全体からなる集合。A∪Bと表記する。ベン図では両方の円を合わせた領域に相当し、論理和（OR）に対応する。

2つの集合A、Bの両方に属する要素全体からなる集合。A∩Bと表記する。ベン図では両方の円が重なる領域に相当し、論理積（AND）に対応する。

ある集合の要素がすべて別の集合に含まれているとき、前者を後者の部分集合という。A⊆Bと表す。ベン図では小さい円が大きい円の内側に完全に入る形になる。集合そのものと空集合も部分集合に含まれる。

真か偽のいずれかの値を持つ命題と、論理演算子（AND、OR、NOT、含意など）を用いて命題間の関係を表現・推論する体系。論理式の真偽を判定する真理値表が基本的なツールとなる。

2つの命題のうち少なくとも一方が真であれば結果が真となる論理演算。OR演算とも呼ばれ、A+BまたはA∨Bと表記する。両方が偽の場合のみ偽となる。

2つの命題が両方とも真である場合のみ結果が真となる論理演算。AND演算とも呼ばれ、A・BまたはA∧Bと表記する。一方でも偽であれば偽となる。