File:Venn1001.svg
出自Wikimedia Commons
跳至導覽
跳至搜尋
![File:Venn1001.svg](https://upload.wikimedia.org/wikipedia/commons/thumb/4/47/Venn1001.svg/384px-Venn1001.svg.png?20240301231110)
此 SVG 檔案的 PNG 預覽的大小:384 × 280 像素。 其他解析度:320 × 233 像素 | 640 × 467 像素 | 1,024 × 747 像素 | 1,280 × 933 像素 | 2,560 × 1,867 像素。
原始檔案 (SVG 檔案,表面大小:384 × 280 像素,檔案大小:3 KB)
檔案資訊
結構化資料
說明
說明
添加單行說明來描述出檔案所代表的內容
摘要
[編輯]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:11 | ![]() | 384 × 280(3 KB) | Watchduck(留言 | 貢獻) | cleaner code and lighter red (overwritten with Pywikibot) |
2009年7月26日 (日) 14:11 | ![]() | 384 × 280(3 KB) | Watchduck(留言 | 貢獻) | ||
2008年1月26日 (六) 13:31 | ![]() | 615 × 463(4 KB) | Watchduck(留言 | 貢獻) | {{Information |Description= |Source=eigene arbeit |Date= |Author= Tilman Piesk |Permission= |other_versions= }} | |
2008年1月22日 (二) 16:04 | ![]() | 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: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
- Category:Logical biconditional
全域檔案使用狀況
以下其他 wiki 使用了這個檔案:
- ar.wikipedia.org 的使用狀況
- de.wikipedia.org 的使用狀況
- de.wikibooks.org 的使用狀況
- de.wikiversity.org 的使用狀況
- en.wikipedia.org 的使用狀況
- If and only if
- Logical connective
- Sheffer stroke
- Theorem
- Consistency
- Contradiction
- Truth value
- Logical biconditional
- False (logic)
- Truth function
- Formal proof
- Logical equality
- Logical truth
- Tautology (logic)
- Template:Logical truth
- Wikipedia:School and university projects/Discrete and numerical mathematics/Learning plan
- User talk:YBG/Archive 6
- User:Sedentarycephalopod/sandbox
- en.wikiversity.org 的使用狀況
- es.wikipedia.org 的使用狀況
- et.wikipedia.org 的使用狀況
- fa.wikipedia.org 的使用狀況
檢視此檔案的更多全域使用狀況。
詮釋資料
此檔案中包含其他資訊,這些資訊可能是由數位相機或掃描器在建立或數位化過程中所新增的。若檔案自原始狀態已被修改,一些詳細資料可能無法完整反映出已修改的檔案。
寬度 | 307.28000pt |
---|---|
高度 | 223.89000pt |