File:Predicate logic; 2 variables; 2x2 list not e(12).svg

From Wikimedia Commons, the free media repository
Jump to navigation Jump to search

Original file ‎(SVG file, nominally 266 × 266 pixels, file size: 48 KB)

Captions

Captions

Add a one-line explanation of what this file represents

Summary[edit]

Description
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
Watchduck
You can name the author as "T. Piesk", "Tilman Piesk" or "Watchduck".
Permission
(Reusing this file)
Public domain 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/TimeThumbnailDimensionsUserComment
current19:07, 14 December 2013Thumbnail for version as of 19:07, 14 December 2013266 × 266 (48 KB)Watchduck (talk | contribs)User created page with UploadWizard

You cannot overwrite this file.

There are no pages that use this file.

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.

Retrieved from "https://commons.wikimedia.org/w/index.php?title=File:Predicate_logic;_2_variables;_2x2_list_not_e(12).svg&oldid=493838724"