Keywords: Predicate logic; 2 variables; implications; 2x2 list; negations.svg Negations of the formulas in 200px Inkscape own 2013 Mate2code Predicate logic; 2 variables; full Hasse diagram Predicate logic; 2 variables; 2x2 list Predicate logic; 2 variables; coinciding variables Binary 4x4 matrices representing tesseract vertices |