File:Relation1010.svg
From Wikipedia, the free encyclopedia
![Fil:Relation1010.svg](http://upload.wikimedia.org/wikipedia/commons/thumb/8/8a/Relation1010.svg/384px-Relation1010.svg.png)
Storleken för denna PNG-förhandsvisning av denna SVG-fil: 384 × 280 pixlar. Andra upplösningar: 320 × 233 pixlar | 640 × 467 pixlar | 1 024 × 747 pixlar | 1 280 × 933 pixlar | 2 560 × 1 867 pixlar.
Originalfil (SVG-fil, standardstorlek: 384 × 280 pixlar, filstorlek: 7 kbyte)
![]() |
Denna fil tillhandahålls av Wikimedia Commons. Informationen nedan är kopierad från dess filbeskrivningssida. |
Sammanfattning
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 |
![]() |
Upphovsrätt kan inte tillämpas på detta verk som därmed hamnar i public domain; detta på grund av att verket enbart består av information som är allmän egendom och saknar verkshöjd. |
Filhistorik
Klicka på ett datum/klockslag för att se filen som den såg ut då.
Datum/Tid | Miniatyrbild | Dimensioner | Användare | Kommentar | |
---|---|---|---|---|---|
nuvarande | 8 maj 2010 kl. 00.45 | ![]() | 384 × 280 (7 kbyte) | Watchduck | layout change |
26 juli 2009 kl. 19.59 | ![]() | 384 × 280 (17 kbyte) | Watchduck | ||
10 april 2009 kl. 18.11 | ![]() | 615 × 463 (4 kbyte) | 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 |
Filanvändning
Inga sidor använder den här filen.
Global filanvändning
Följande andra wikier använder denna fil:
- Användande på de.wikibooks.org
- Användande på en.wikiversity.org
- Användande på ja.wikipedia.org
Hämtad från ”https://sv.wikipedia.org/wiki/Fil:Relation1010.svg”