Template:Predicate logic; 2 variables; single; 2x2 list
Summary
editDescription |
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 |
|
||
Permission (Reusing this file) |
|