Keywords: Predicate logic; 2 variables; implications.svg Implications between statements with two variables in first-order logic represented by sketches of their logical matrices own 2010 mate2code 100px 0 style width 100 ;height 40px;text-align center; color black; background f0f0f0; border 2px solid e0e0e0; margin 1px - 40px 38px This vector image was created with Inkscape and uploaded with Commonist 40px 38px Created with Inkscape Uploaded with Commonist Predicate logic; 2 variables; full Hasse diagram Predicate logic; 2 variables; coinciding variables Graphs with 8 vertices |