File:Predicate logic; 2 variables; 2x2 list a12.svg
Size of this PNG preview of this SVG file: 266 × 266 pixels. Other resolutions: 240 × 240 pixels | 480 × 480 pixels | 768 × 768 pixels | 1,024 × 1,024 pixels | 2,048 × 2,048 pixels.
Original file (SVG file, nominally 266 × 266 pixels, file size: 44 KB)
File information
Structured data
Captions
Summary
editDescriptionPredicate logic; 2 variables; 2x2 list a12.svg |
English: This file shows all 16 binary 2×2 matrices. Those which fulfill a certain condition have red background. The conditions - corresponding to statements in first-order logic - are shown in the two upper Hasse diagrams below. |
|||
Source | Own work | |||
Author |
|
|||
Permission (Reusing this file) |
|
File history
Click on a date/time to view the file as it appeared at that time.
Date/Time | Thumbnail | Dimensions | User | Comment | |
---|---|---|---|---|---|
current | 18:39, 14 December 2013 | 266 × 266 (44 KB) | Watchduck (talk | contribs) | order | |
12:03, 5 May 2011 | 266 × 266 (44 KB) | Watchduck (talk | contribs) | =={{int:filedesc}}== {{Predicate logic; 2 variables; 2x2 list}} Created by Lipedia, 2011 {{PD-self}} Category:Binary square matrices in logic |
You cannot overwrite this file.
File usage on Commons
The following 3 pages use this file:
File usage on other wikis
The following other wikis use this file:
- Usage on de.wikiversity.org
- Usage on en.wikiversity.org
Metadata
This file contains additional information such as Exif metadata which may have been added by the digital camera, scanner, or software program used to create or digitize it. If the file has been modified from its original state, some details such as the timestamp may not fully reflect those of the original file. The timestamp is only as accurate as the clock in the camera, and it may be completely wrong.
Width | 265.74805 |
---|---|
Height | 265.74802 |