Keywords: Predicate logic; 2 variables; implications lattice.svg Implications between the A000629 2 6 statements with two variables in first-order logic represented by sketches of their logical matrices Like 100px but without the two statements that use only one variable Inkscape own 2010 mate2code Predicate logic; 2 variables; lattice Hasse diagram |