ベン図
出典: フリー百科事典『ウィキペディア（Wikipedia）』
ベン図（ベンず、もしくはヴェン図）とは、ある命題における集合関係と求める集合範囲を視覚的に図式化したもの。 全体の集合をひとつの平方とし、その上に各集合（部分集合）を一つ一つの円として表し、相関関係をその円の交わりによって表す。求める集合範囲は色付け又、斜線によって表記される。イギリスの数学者ジョン・ヴェン (John Venn) によって考え出された。
[編集] 図例
 |
 |
 |
| 論理積 (AND) | 論理和 (OR) | 論理否定 (NOT) |
| P ∧ Q | P ∨ Q | ¬P |
 |
 |
 |
| 論理積の否定 (NAND) | 論理和の否定 (NOR) | 排他的論理和 (XOR) |
| ¬(P ∧ Q) | ¬(P ∨ Q) | (P ∨ Q) ∧ ¬(P ∧ Q) |
 |
 |
 |
| 含意（…ならば～） | 部分集合（真部分集合） | |
| P ⇒ Q | P ⊂ Q | P ⊂ Q |
| ¬(P ∧ ¬Q)あるいは¬P∨Q | この図はベン図ではない | こちらはベン図である。小さいPがPの要素全てを表しており、この領域は全てQでもある。白いPの領域に要素は存在しない。 |
[編集] 関連項目
カテゴリ: 自然科学関連のスタブ項目 | 集合論 | 図 | 数学に関する記事
