File:Relation0110.svg
維基百科,自由的 encyclopedia
![File:Relation0110.svg](http://upload.wikimedia.org/wikipedia/commons/thumb/c/c1/Relation0110.svg/384px-Relation0110.svg.png)
此 SVG 檔案的 PNG 預覽的大小:384 × 280 像素。 其他解析度:320 × 233 像素 | 640 × 467 像素 | 1,024 × 747 像素 | 1,280 × 933 像素 | 2,560 × 1,867 像素。
原始檔案 (SVG 檔案,表面大小:384 × 280 像素,檔案大小:4 KB)
摘要
This Venn diagram is meant to represent a relation between
- two sets in set theory,
- or two statements in propositional logic respectively.
Set theory: The complementary relation
Two sets and
are complementary,
when they are disjoint and subdisjoint (no elements are inside both and no elements are outside both of them),
so when all elements are either in set or in set
.
In other words: When the complement of their symmetric difference is empty.
![]() |
|
![]() |
![]() |
|
![]() |
= | ![]() | |
|
|
= |
Under this condition, several set operations, not equivalent in general, produce equivalent results.
These equivalences define complementary sets:
![]() |
|
![]() |
= | ![]() |
= | ![]() |
= | ![]() |
= | = | = |
![]() |
|
![]() |
= | ![]() |
= | ![]() |
= | ![]() |
= | = | = |
![]() |
|
![]() |
= | ![]() |
= | ![]() |
= | ![]() |
= | = | = |
![]() |
|
![]() |
= | ![]() |
= | ![]() |
= | ![]() |
= | = | = |
The sign tells, that two statements about sets mean the same.
The sign = tells, that two sets contain the same elements.
Operations and relations in set theory and logic
∅c |
A = A |
|||||||||||||
![]() |
![]() |
|||||||||||||
Ac |
true A ↔ A |
A |
A |
A |
A |
|||||||||
![]() |
![]() |
![]() |
![]() |
|||||||||||
A |
¬A A → ¬B |
A |
A A ← ¬B |
Ac |
A |
A |
A = Bc |
A |
A |
|||||
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
|||||||||
Bc |
A A ← B |
A |
A A ↔ ¬B |
Ac |
¬A A → B |
B |
B = ∅ |
A |
A = ∅c |
A |
A = ∅ |
A |
B = ∅c | |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() | |||||||
¬B |
A |
A |
(A |
¬A |
Ac |
B |
B |
A |
A = B |
A |
B | |||
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
|||||||||
A |
Ac |
A |
A |
¬A |
A |
|||||||||
![]() |
![]() |
![]() |
![]() |
|||||||||||
¬A |
∅ |
A |
A = Ac |
|||||||||||
![]() |
![]() |
|||||||||||||
false A ↔ ¬A |
A |
|||||||||||||
These sets (statements) have complements (negations). They are in the opposite position within this matrix. |
These relations are statements, and have negations. They are shown in a separate matrix in the box below. |
more relations | ||||
---|---|---|---|---|
|
Public domainPublic domainfalsefalse |
![]() |
此檔案不具有著作權,屬於公有領域,因為其所包含之内容均為公共財產且沒有明確的原始作者資訊。 |
檔案歷史
點選日期/時間以檢視該時間的檔案版本。
日期/時間 | 縮圖 | 尺寸 | 使用者 | 備註 | |
---|---|---|---|---|---|
目前 | 2010年5月7日 (五) 22:42 | ![]() | 384 × 280(4 KB) | Watchduck | layout change |
2009年7月26日 (日) 17:57 | ![]() | 384 × 280(30 KB) | Watchduck | ||
2009年4月10日 (五) 16:06 | ![]() | 615 × 463(4 KB) | Watchduck | ==Description== {{Information |Description={{en|1=Venn diagrams of the sixteen 2-ary Boolean '''relations'''. Black (0) marks empty areas (compare empty set). White (1) means, that there ''could'' be something. There are correspondin |
檔案用途
沒有使用此檔案的頁面。