File:Relation1111.svg
ויקיפדיה האנציקלופדיה encyclopedia
גודל התצוגה המקדימה הזאת מסוג PNG של קובץ ה־SVG הזה: 384 × 280 פיקסלים. רזולוציות אחרות: 320 × 233 פיקסלים | 640 × 467 פיקסלים | 1,024 × 747 פיקסלים | 1,280 × 933 פיקסלים | 2,560 × 1,867 פיקסלים.
לקובץ המקורי (קובץ SVG, הגודל המקורי: 384 × 280 פיקסלים, גודל הקובץ: 3 ק"ב)
זהו קובץ שמקורו במיזם ויקישיתוף. תיאורו בדף תיאור הקובץ המקורי (בעברית) מוצג למטה. |
PLATO
תקציר
This Venn diagram is meant to represent the special case of a relation between two sets in set theory,
or two statements in propositional logic respectively.
Example (for sets):
The sets and are not equivalent in general: They are equivalent when .
The sets and are always equivalent: is a tautology.
This is what tells. It's shown at the top of the right one of the below diagrams.
∅c |
A = A |
|||||||||||||
Ac Bc |
true A ↔ A |
A B |
A Bc |
AA |
A Bc |
|||||||||
A Bc |
¬A ¬B A → ¬B |
A B |
A B A ← ¬B |
Ac B |
A B |
A¬B |
A = Bc |
A¬B |
A B |
|||||
Bc |
A ¬B A ← B |
A |
A B A ↔ ¬B |
Ac |
¬A B A → B |
B |
B = ∅ |
AB |
A = ∅c |
A¬B |
A = ∅ |
AB |
B = ∅c | |
¬B |
A Bc |
A |
(A B)c |
¬A |
Ac B |
B |
Bfalse |
Atrue |
A = B |
Afalse |
Btrue | |||
A ¬B |
Ac Bc |
A B |
A B |
¬A B |
AB |
|||||||||
¬A ¬B |
∅ |
A B |
A = Ac |
|||||||||||
false A ↔ ¬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 | ||||
---|---|---|---|---|
|
Set theory: Logic: |
subset implication |
disjoint contrary |
subdisjoint subcontrary |
equal equivalent |
complementary contradictory |
Public domainPublic domainfalsefalse |
קובץ זה נטול זכויות יוצרים ולפיכך ברשות הציבור. יצירה מורכבת כולה, מיֶדַע שהוא נחלת הכלל, ואין לה מרכיב יצירתי מקורי. |
פריטים שמוצגים בקובץ הזה
מוצג
image/svg+xml
היסטוריית הקובץ
ניתן ללחוץ על תאריך/שעה כדי לראות את הקובץ כפי שנראה באותו זמן.
תאריך/שעה | תמונה ממוזערת | ממדים | משתמש | הערה | |
---|---|---|---|---|---|
נוכחית | 01:51, 8 במאי 2010 | 280 × 384 (3 ק"ב) | Watchduck | layout change | |
21:01, 26 ביולי 2009 | 280 × 384 (4 ק"ב) | Watchduck | |||
19:16, 10 באפריל 2009 | 463 × 615 (4 ק"ב) | 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 |
שימוש בקובץ
אין בוויקיפדיה דפים המשתמשים בקובץ זה.
שימוש גלובלי בקובץ
אתרי הוויקי השונים הבאים משתמשים בקובץ זה:
- שימוש באתר en.wikiversity.org
אוחזר מתוך "https://he.wikipedia.org/wiki/קובץ:Relation1111.svg"