File:Predicate logic; 2 variables; 3x3 list e(12).svg
Jump to navigation
Jump to search
Size of this PNG preview of this SVG file: 800 × 103 pixels. Other resolutions: 320 × 41 pixels | 640 × 82 pixels | 1,024 × 131 pixels | 1,280 × 164 pixels | 2,560 × 328 pixels | 5,120 × 656 pixels.
Original file (SVG file, nominally 5,120 × 656 pixels, file size: 2.17 MB)
Captions
Captions
Add a one-line explanation of what this file represents
Summary[edit]
This file shows all 512 binary 3×3 matrices. Those which fulfill a certain condition have red background.
The conditions - corresponding to statements in predicate logic - are shown in the left one of the two Hasse diagrams below.
 |
 |
|
Watchduck You can name the author as "T. Piesk", "Tilman Piesk" or "Watchduck". |
|
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. |
File history
Click on a date/time to view the file as it appeared at that time.
| Date/Time | Thumbnail | Dimensions | User | Comment | |
|---|---|---|---|---|---|
| current | 21:47, 3 May 2011 | | 5,120 × 656 (2.17 MB) | Watchduck (talk | contribs) | =={{int:filedesc}}== {{Predicate logic; 2 variables; 3x3 list}} Created by Lipedia, 2011 {{PD-self}} Category:Binary square matrices in logic |
You cannot overwrite this file.
File usage on Commons
The following page uses this file:
- File:Predicate logic; 2 variables; 3x3 list; 12diag ne.svg (file redirect)
File usage on other wikis
The following other wikis use this file:
- Usage on de.wikiversity.org
- Usage on en.wikiversity.org
.svg&oldid=474880184){kind=link}