Keywords: Predicate logic; 2 variables; implications; 2x2 list, vectors.svg Different version of 100px with 1x16 vectors instead of 4x4 matrices Inkscape own 2011 Mate2code Predicate logic; 2 variables; full Hasse diagram Predicate logic; 2 variables; 2x2 list Predicate logic; 2 variables; coinciding variables |