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 ordered partitions.svg Implications between statements with two variables in firstorder logic represented by ordered partitions Inkscape own matecode px Predicate logic variables full Hasse diagram Predicate logic variables ordered partitions Predicate logic variables coinciding variables