Template:Predicate logic; 2 variables; single; 3x3 list
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.
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. |