Template:Predicate logic; 2 variables; single; 3x3 list

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

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.


Scetches
 
3×3 lists



Watchduck
You can name the author as "T. Piesk", "Tilman Piesk" or "Watchduck".
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.