File:Relation1100.svg
维基百科,自由的 encyclopedia
![File:Relation1100.svg](http://upload.wikimedia.org/wikipedia/commons/thumb/a/a1/Relation1100.svg/384px-Relation1100.svg.png)
此SVG文件的PNG预览的大小:384 × 280像素。 其他分辨率:320 × 233像素 | 640 × 467像素 | 1,024 × 747像素 | 1,280 × 933像素 | 2,560 × 1,867像素。
原始文件 (SVG文件,尺寸为384 × 280像素,文件大小:7 KB)
摘要
The circles in this Venn diagram can represent sets in set theory, or statements in propositional logic.
- In set theory it tells, that the right set is empty.
- In propositional logic it tells, that the right statement is never true.
In both interpretations
is the same as
.
![]() |
![]() |
![]() |
![]() |
![]() | |
Set theory: Logic: |
subset implication |
disjoint contrary |
subdisjoint subcontrary |
equal equivalent |
complementary contradictory |
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:48 | ![]() | 384 × 280(7 KB) | Watchduck | layout change |
2009年7月26日 (日) 18:00 | ![]() | 384 × 280(17 KB) | Watchduck | ||
2009年4月10日 (五) 16:14 | ![]() | 615 × 463(4 KB) | Watchduck | {{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 corresponding diagrams of th |
文件用途
没有页面使用本文件。
全域文件用途
以下其他wiki使用此文件:
- de.wikibooks.org上的用途
- ga.wikipedia.org上的用途