Benutzer:Roomsixhu/Venndiagramm
aus Wikipedia, der freien Enzyklopädie
right|ベン図 ベン図（ベンず、もしくはヴェン図）とは、ある命題における集合関係と求める集合範囲を視覚的に図式化したもの。 全体の集合をひとつの平方とし、その上に各集合（部分集合）を一つ一つの円として表し、相関関係をその円の交わりによって表す。求める集合範囲は色付け又、斜線によって表記される。イギリスの数学者ジョン・ヴェン (John Venn) によって考え出された。
図例
| ベン図による論理積 (AND) | ベン図による論理和 (OR) | ベン図による論理否定 (NOT) |
| 論理積 (AND) | 論理和 (OR) | 論理否定 (NOT) |
|---|---|---|
| P ∧ Q | P ∨ Q | ¬P |
| ベン図による論理積の否定 (NAND) | ベン図による論理和の否定 (NOR) | ベン図による排他的論理和 (XOR) |
| 論理積の否定 (NAND) | 論理和の否定 (NOR) | 排他的論理和 (XOR) |
| ¬(P ∧ Q) | ¬(P ∨ Q) | (P ∨ Q) ∧ ¬(P ∧ Q) |
| ベン図による含意 | ベン図による真部分集合 | ベン図による真部分集合 |
| 含意 (…ならば～) | 部分集合（真部分集合） | |
| P ⇒ Q | P ⊂ Q, these are Euler circles not a Venn Diagram, | P ⊂ Q, this is the Venndiagram, the small P represents all P, and certainly this cell is also Q, the white P does not exist. |
