File:Logic_matrix_-_whatsthecaserelations.svg
From Wikipedia, the free encyclopedia
![File:Logic matrix - whatsthecaserelations.svg](http://upload.wikimedia.org/wikipedia/commons/thumb/a/a0/Logic_matrix_-_whatsthecaserelations.svg/542px-Logic_matrix_-_whatsthecaserelations.svg.png)
Original file (SVG file, nominally 717 × 793 pixels, file size: 4.39 MB)
![]() | This is a file from the Wikimedia Commons. Information from its description page there is shown below. Commons is a freely licensed media file repository. You can help. |
Summary
Relations like the subset relation are true in several cases. Such cases are shown here.
15 cases are possible, when there are 2 sets, and the question is only, if an area is empty or not.
The case that all areas are empty can be regarded as impossible, because this would mean an empty universe.
(Where the complement of the empty set would be the empty set itself.)
![](https://upload.wikimedia.org/wikipedia/commons/thumb/c/c4/Logic_matrix_-_negative_statements_combined_by_AND.svg/300px-Logic_matrix_-_negative_statements_combined_by_AND.svg.png)
![](https://upload.wikimedia.org/wikipedia/commons/thumb/8/88/Relation1011.svg/50px-Relation1011.svg.png)
The Venn diagrams in this matrix are like those representing syllogisms - apart from the fact that all areas are defined as "there is something" or "there is nothing", while in the syllogism graphics some areas are undefined:
![]() |
![]() |
See also: Template:Operations and relations in set theory and logic
![]() |
Watchduck You can name the author as "T. Piesk", "Tilman Piesk" or "Watchduck". |
Public domainPublic domainfalsefalse |
![]() |
I, the copyright holder of this work, release this work into the public domain. This applies worldwide. In some countries this may not be legally possible; if so: I grant anyone the right to use this work for any purpose, without any conditions, unless such conditions are required by law. |
Captions
Items portrayed in this file
depicts
File history
Click on a date/time to view the file as it appeared at that time.
Date/Time | Thumbnail | Dimensions | User | Comment | |
---|---|---|---|---|---|
current | 15:00, 8 July 2010 | ![]() | 717 × 793 (4.39 MB) | Mate2Code | {{Information |Description=Relations like the subset relation (File:Relation1011.svg) are true in several cases. These cases are shown here. 15 cases are possible, when there are 2 sets, and the question is only, if an area is empty or not. The Venn |