File:Venn0110.svg
维基百科,自由的 encyclopedia
![File:Venn0110.svg](http://upload.wikimedia.org/wikipedia/commons/thumb/4/46/Venn0110.svg/400px-Venn0110.svg.png)
此SVG文件的PNG预览的大小:400 × 300像素。 其他分辨率:320 × 240像素 | 640 × 480像素 | 1,024 × 768像素 | 1,280 × 960像素 | 2,560 × 1,920像素。
原始文件 (SVG文件,尺寸为400 × 300像素,文件大小:617字节)
摘要
One of 16 Venn diagrams, representing 2-ary Boolean functions like set operations and logical connectives:
![](https://upload.wikimedia.org/wikipedia/commons/thumb/3/3e/Logical_connectives_Hasse_diagram.svg/800px-Logical_connectives_Hasse_diagram.svg.png)
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 |
![]() |
此作品不具有版权,属于公有领域,因为其所包含之内容均为公共财产且没有明确的原始作者信息。 |
说明
添加一行文字以描述该文件所表现的内容
Ein Venn-Diagram einer Kontravalenz. Da beide Kreise ausgefärbt sind (ein logisches Wahr, positiv, eine Eins, usw. darstellend), ist die Kontravalenz von beiden Kreisen zusammen eine unausgefärbte Form (logisches Falsch, negativ, Null darstellend).
文件历史
点击某个日期/时间查看对应时刻的文件。
日期/时间 | 缩略图 | 大小 | 用户 | 备注 | |
---|---|---|---|---|---|
当前 | 2024年7月16日 (二) 15:29 | ![]() | 400 × 300(617字节) | Antonsusi | Valid SVG |
2024年3月1日 (五) 23:14 | ![]() | 384 × 280(3 KB) | Watchduck | cleaner code and lighter red (overwritten with Pywikibot) | |
2009年7月26日 (日) 14:09 | ![]() | 384 × 280(3 KB) | Watchduck | ||
2008年1月26日 (六) 13:28 | ![]() | 615 × 463(4 KB) | Watchduck | {{Information |Description= |Source=eigene arbeit |Date= |Author= Tilman Piesk |Permission= |other_versions= }} | |
2008年1月22日 (二) 16:02 | ![]() | 615 × 463(4 KB) | Watchduck | {{Information |Description=Venn diagrams (sometimes called Johnston diagrams) concerning propositional calculus and set theory |Source=own work |Date=2008/Jan/22 |Author=Tilman Piesk |Permission=publich domain |other_versions= }} |
文件用途
以下5个页面使用本文件:
全域文件用途
以下其他wiki使用此文件:
- als.wikipedia.org上的用途
- am.wikipedia.org上的用途
- ar.wikipedia.org上的用途
- ba.wikipedia.org上的用途
- bn.wikipedia.org上的用途
- ca.wikipedia.org上的用途
- cs.wikipedia.org上的用途
- cv.wikipedia.org上的用途
- de.wikipedia.org上的用途
- de.wikibooks.org上的用途
- de.wikiversity.org上的用途
- en.wikipedia.org上的用途
- en.wikibooks.org上的用途
查看此文件的更多全域用途。
元数据
此文件中包含有扩展的信息。这些信息可能是由数码相机或扫描仪在创建或数字化过程中所添加。
如果此文件的源文件已经被修改,一些信息在修改后的文件中将不能完全反映出来。
宽度 | 400px |
---|---|
高度 | 300px |