File:Venn1100.svg
来自Wikimedia Commons
跳转到导航
跳转到搜索
![File:Venn1100.svg](https://upload.wikimedia.org/wikipedia/commons/thumb/3/31/Venn1100.svg/380px-Venn1100.svg.png?20240301231250)
此SVG文件的PNG预览的大小:380 × 280像素。 其他分辨率:320 × 236像素 | 640 × 472像素 | 1,024 × 755像素 | 1,280 × 943像素 | 2,560 × 1,886像素。
原始文件 (SVG文件,尺寸为380 × 280像素,文件大小:351字节)
文件信息
结构化数据
说明
说明
添加一行文字以描述该文件所表现的内容
摘要
[编辑]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 |
![]() |
此作品不具有版权,属于公有领域,因为其所包含之内容均为公共财产且没有明确的原始作者信息。 |
文件历史
点击某个日期/时间查看对应时刻的文件。
日期/时间 | 缩略图 | 大小 | 用户 | 备注 | |
---|---|---|---|---|---|
当前 | 2024年3月1日 (五) 23:12 | ![]() | 380 × 280(351字节) | Watchduck(留言 | 贡献) | cleaner code and lighter red (overwritten with Pywikibot) |
2023年7月24日 (一) 20:54 | ![]() | 380 × 280(352字节) | SVG-image-maker(留言 | 贡献) | Redrew with a text editor | |
2009年7月26日 (日) 14:12 | ![]() | 384 × 280(3 KB) | Watchduck(留言 | 贡献) | ||
2008年1月26日 (六) 13:34 | ![]() | 615 × 463(4 KB) | Watchduck(留言 | 贡献) | {{Information |Description= |Source=eigene arbeit |Date= |Author= Tilman Piesk |Permission= |other_versions= }} | |
2008年1月22日 (二) 16:07 | ![]() | 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= }} |
您不可以覆盖此文件。
文件用途
以下35个页面使用本文件:
- Set theory
- File:JohnstonDiagram NotA.svg
- File:Relation0000.svg
- File:Relation0001.svg
- File:Relation0010.svg
- File:Relation0011.svg
- File:Relation0100.svg
- File:Relation0101.svg
- File:Relation0110.svg
- File:Relation0111.svg
- File:Relation1000.svg
- File:Relation1001.svg
- File:Relation1010.svg
- File:Relation1011.svg
- File:Relation1100.svg
- File:Relation1101.svg
- File:Relation1110.svg
- File:Relation1111.svg
- File:Venn0000.svg
- File:Venn0001.svg
- File:Venn0010.svg
- File:Venn0011.svg
- File:Venn0100.svg
- File:Venn0101.svg
- File:Venn0110.svg
- File:Venn0111.svg
- File:Venn1000.svg
- File:Venn1001.svg
- File:Venn1010.svg
- File:Venn1011.svg
- File:Venn1100.svg
- File:Venn1101.svg
- File:Venn1110.svg
- File:Venn1111.svg
- Template:Operations and relations in set theory and logic
全域文件用途
以下其他wiki使用此文件:
- ar.wikipedia.org上的用途
- de.wikipedia.org上的用途
- de.wikibooks.org上的用途
- de.wikiversity.org上的用途
- en.wikipedia.org上的用途
- en.wikiversity.org上的用途
- fa.wikipedia.org上的用途
- fr.wikipedia.org上的用途
- he.wikipedia.org上的用途
- hu.wikipedia.org上的用途
- it.wikipedia.org上的用途
- ja.wikipedia.org上的用途
- ja.wikibooks.org上的用途
- nl.wikipedia.org上的用途
- pt.wikipedia.org上的用途
- uk.wikipedia.org上的用途
- vi.wikipedia.org上的用途
- zh.wikipedia.org上的用途
- zh.wikibooks.org上的用途
元数据
此文件含有额外信息,这些信息可能是创建或数字化该文件时使用的数码相机或扫描仪所添加的。如果文件已从其原始状态修改,某些详细信息可能无法完全反映修改后的文件。
宽度 | 380 |
---|---|
高度 | 280 |