File:Predicate logic; 2 variables; 3x3 list e12.svg
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)
|
This is a file from the Wikimedia Commons. The description on its description page there is shown below.
Commons is a freely licensed media file repository. You can help. |
Summary
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:49, 3 May 2011 | | 5,120 × 656 (2.17 MB) | Watchduck | =={{int:filedesc}}== {{Predicate logic; 2 variables; 3x3 list}} Created by Lipedia, 2011 {{PD-self}} Category:Binary square matrices in logic |
File usage
The following page uses this file:
Global file usage
The following other wikis use this file:
- Usage on de.wikiversity.org
