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 pairs.svg Implications between statements with two variables in firstorder logic The content of px represented by colors and shapes Inkscape own matecode px Predicate logic variables full Hasse diagram Predicate logic pairs Predicate logic variables coinciding variables