Wikiversity

File:Predicate logic; 2 variables; 2x2 list e1a2.svg

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

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

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.

Captions

Add a one-line explanation of what this file represents

Items portrayed in this file

depicts

File history

Click on a date/time to view the file as it appeared at that time.

Date/TimeThumbnailDimensionsUserComment
current18:43, 14 December 2013Thumbnail for version as of 18:43, 14 December 2013266 × 266 (48 KB)Watchduckorder
12:13, 5 May 2011Thumbnail for version as of 12:13, 5 May 2011266 × 266 (44 KB)Watchduck=={{int:filedesc}}== {{Predicate logic; 2 variables; 2x2 list}} Created by Lipedia, 2011 {{PD-self}} Category:Binary square matrices in logic

The following page uses this file:

Global file usage

The following other wikis use this file:

Metadata

This file contains additional information, probably added from the digital camera or scanner used to create or digitize it.

If the file has been modified from its original state, some details may not fully reflect the modified file.

Retrieved from "https://en.wikiversity.org/wiki/File:Predicate_logic;_2_variables;_2x2_list_e1a2.svg"