File:Relation1110.svg
Original file(SVG file, nominally 384 × 280 pixels, file size: 4 KB)
Captions
Contents
Summary
[edit]This Venn diagram is meant to represent arelationbetween
- two sets inset theory,
- or two statements inpropositional logicrespectively.
The relationtells, that the setisempty:=
It can be written asor as.
It tells, that the setsandhave no elements in common:
Example: The set of positive numbers and the set of negative numbers are disjoint: No number is both positive and negative.
But they are not complementary sets, because the zero is neither positive nor negative.
Under this condition several set operations, not equivalent in general, produce equivalent results.
These equivalences define disjoint sets:
Venn diagrams | written formulas |
---|---|
= | |
= | |
= | |
= | |
= | |
= | |
= | |
= |
The signtells, that twostatements about setsmean the same.
The sign = tells, that twosetscontain the same elements.
The relationtells, that the statementis never true:
It can be written asor as.
It tells, that the statementsandare never true together:
Example: The statements"Number x is positive."and"Number x is negative."are contrary:
They can not be true together. But they are not contradictory, because both statements are false for x=0.
Under this condition severallogic operations,not equivalent in general, produce equivalent results.
These equivalences define contrary statements:
Venn diagrams | written formulas |
---|---|
The signtells, that twostatements about statements about whatever objectsmean the same.
The signtells, that twostatements about whatever objectsmean the same.
Set theory: | subset | disjoint | subdisjoint | equal | complementary |
Logic: | implication | contrary | subcontrary | equivalent | contradictory |
Operations and relations in set theory and logic
[edit]∅c |
A = A |
|||||||||||||
AcBc |
true A ↔ A |
AB |
ABc |
AA |
ABc |
|||||||||
ABc |
¬A¬B A → ¬B |
AB |
AB A ← ¬B |
AcB |
AB |
A¬B |
A = Bc |
A¬B |
AB |
|||||
Bc |
A¬B A ← B |
A |
AB A ↔ ¬B |
Ac |
¬AB A → B |
B |
B =∅ |
AB |
A =∅c |
A¬B |
A =∅ |
AB |
B =∅c | |
¬B |
ABc |
A |
(AB)c |
¬A |
AcB |
B |
Bfalse |
Atrue |
A = B |
Afalse |
Btrue | |||
A¬B |
AcBc |
AB |
AB |
¬AB |
AB |
|||||||||
¬A¬B |
∅ |
AB |
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 | ||||
---|---|---|---|---|
|
Public domainPublic domainfalsefalse |
This work isineligible forcopyrightand therefore in thepublic domainbecause it consists entirely of information that iscommon property and contains no original authorship. |
File history
Click on a date/time to view the file as it appeared at that time.
Date/Time | Thumbnail | Dimensions | User | Comment | |
---|---|---|---|---|---|
current | 22:50, 7 May 2010 | 384 × 280(4 KB) | Watchduck(talk|contribs) | layout change | |
18:01, 26 July 2009 | 384 × 280(9 KB) | Watchduck(talk|contribs) | |||
16:16, 10 April 2009 | 615 × 463(4 KB) | Watchduck(talk|contribs) | {{Information |Description={{en|1=Venn diagrams of the sixteen 2-ary Boolean '''relations'''. Black (0) marks empty areas (compareempty set). White (1) means, that there ''could'' be something. There are corresponding diagrams of th |
You cannot overwrite this file.
File usage on Commons
The following 36 pages use this file:
- 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
- Template:Operations and relations in set theory and logic; some
- Category:Boolean functions as relations
File usage on other wikis
The following other wikis use this file:
- Usage on ca.wikipedia.org
- Usage on de.wikibooks.org
- Usage on en.wikiversity.org
- Usage on es.wikipedia.org
- Usage on fr.wikiquote.org