File:Relation0011.svg
From Wikipedia, the free encyclopedia
![پرونده:Relation0011.svg](http://upload.wikimedia.org/wikipedia/commons/thumb/3/3c/Relation0011.svg/384px-Relation0011.svg.png)
حجم پیشنمایش PNG این SVG file:۳۸۴ × ۲۸۰ پیکسل کیفیتهای دیگر: ۳۲۰ × ۲۳۳ پیکسل | ۶۴۰ × ۴۶۷ پیکسل | ۱٬۰۲۴ × ۷۴۷ پیکسل | ۱٬۲۸۰ × ۹۳۳ پیکسل | ۲٬۵۶۰ × ۱٬۸۶۷ پیکسل.
پروندهٔ اصلی (پروندهٔ اسویجی، با ابعاد ۳۸۴ × ۲۸۰ پیکسل، اندازهٔ پرونده: ۸ کیلوبایت)
![]() | این پرونده در ویکیانبار موجود است. محتویات صفحهٔ توصیف آن در زیر نمایش داده میشود. |
خلاصه
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 the whole universe (that it's complement is empty).
- In propositional logic it tells, that the right statement is always true (and it's negation 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 |
![]() |
این پرونده فاقد شرایط لازم برای حق تکثیر است و بنابراین در مالکیت عمومی قرار دارد، به این دلیل که شامل اطلاعاتی است که دارای مالکیت مشترک بوده و مؤلف اولیهٔ اصلی ندارد. |
تاریخچهٔ پرونده
روی تاریخ/زمانها کلیک کنید تا نسخهٔ مربوط به آن هنگام را ببینید.
تاریخ/زمان | بندانگشتی | ابعاد | کاربر | توضیح | |
---|---|---|---|---|---|
کنونی | ۷ مهٔ ۲۰۱۰، ساعت ۲۲:۳۹ | ![]() | ۳۸۴ در ۲۸۰ (۸ کیلوبایت) | Watchduck | layout change |
۲۶ ژوئیهٔ ۲۰۰۹، ساعت ۱۷:۵۵ | ![]() | ۳۸۴ در ۲۸۰ (۳۲ کیلوبایت) | Watchduck | ||
۱۰ آوریل ۲۰۰۹، ساعت ۱۵:۵۷ | ![]() | ۶۱۵ در ۴۶۳ (۴ کیلوبایت) | 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 |
کاربرد پرونده
این پرونده در هیچ صفحهای به کار نرفته است.