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 ordered partitions.svg Implications between the statements with two variables in firstorder logic The formulas are represented by ordered set partitions Black stands for the universal quantifier red for the existential one Inkscape own matecode Predicate logic variables lattice Hasse