Template:Predicate logic; 2 variables; single; 2x2 list

Summary

DescriptionPredicate logic; 2 variables; single; 2x2 list	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)	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.