File:Relation1010.svg
From Wikipedia, the free encyclopedia
![پەڕگە:Relation1010.svg](http://upload.wikimedia.org/wikipedia/commons/thumb/8/8a/Relation1010.svg/384px-Relation1010.svg.png)
Size of this PNG preview of this SVG file: ٣٨٤ لە ٢٨٠ پیکسەڵ. ڕێزەلووشنەکانی تر: ٣٢٠ لە ٢٣٣ پیکسەڵ | ٦٤٠ لە ٤٦٧ پیکسەڵ | ١٬٠٢٤ لە ٧٤٧ پیکسەڵ | ١٬٢٨٠ لە ٩٣٣ پیکسەڵ | ٢٬٥٦٠ لە ١٬٨٦٧ پیکسەڵ.
پەڕگەی سەرەکی (پەڕگەی SVG، بە ناو ٣٨٤ × ٢٨٠ پیکسەڵ، قەبارەی پەڕگە: ٧ کیلۆبایت)
ئەم پەڕگە لە Wikimedia Commonsەوەیە و لەوانەیە لە پڕۆژەکانی دیکەش بەکار ھاتبێت. پێناسەکەی لەسەر پەڕەی وەسفی پەڕگەکە لە خوارەوە نیشان دراوە.
کورتە
The circles in this Venn diagram can represent sets in set theory, or statements in propositional logic.
- In set theory it tells, that the left set is empty.
- In propositional logic it tells, that the left 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 |
![]() |
This work is ineligible for copyright and therefore in the public domain because it consists entirely of information that is common property and contains no original authorship. |
مێژووی پەڕگە
کرتە بکە لەسەر یەکێک لە ڕێکەوت/کاتەکان بۆ بینینی پەڕگەکە بەو شێوەی لەو کاتەدا بووە.
ڕێکەوت/کات | ھێما | ئەندازە | بەکارھێنەر | تێبینی | |
---|---|---|---|---|---|
هەنووکە | ٢٢:٤٥، ٧ی ئایاری ٢٠١٠ | ![]() | ٣٨٤ لە ٢٨٠ (٧ کیلۆبایت) | Watchduck | layout change |
١٧:٥٩، ٢٦ی تەممووزی ٢٠٠٩ | ![]() | ٣٨٤ لە ٢٨٠ (١٧ کیلۆبایت) | Watchduck | ||
١٦:١١، ١٠ی نیسانی ٢٠٠٩ | ![]() | ٦١٥ لە ٤٦٣ (٤ کیلۆبایت) | 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 |
بەکارھێنانی پەڕگە
ھیچ پەڕەیەک نییە کە ئەم پەڕگەیە بەکاربھێنێت.
بەکارھێنانی سەرانسەریی پەڕگە
ئەم ویکیانەی دیکەی خوارەوەش ئەم پەڕگە بەکاردێنن:
- بەکارھێنان لە de.wikibooks.org
- بەکارھێنان لە en.wikiversity.org
- بەکارھێنان لە ja.wikipedia.org
وەرگیراو لە «https://ckb.wikipedia.org/wiki/پەڕگە:Relation1010.svg»