This image was acquired from
wikimedia. It was marked as Public Domain or CC0 and is free to use. To verify, go to the source and check the information there.
Keywords from Image Description:
Predicate logic variables implications lattice.svg Implications between the statements with two variables in firstorder logic represented by sketches of their logical matrices Like px but without the two statements that use only one variable Inkscape own matecode Predicate logic variables lattice Hasse diagram