Keywords: Predicate logic; 2 variables; implications; pairs.svg Implications between statements with two variables in first-order logic The content of 100px represented by colors and shapes Inkscape own 2013 mate2code 100px Predicate logic; 2 variables; full Hasse diagram Predicate logic; pairs Predicate logic; 2 variables; coinciding variables |