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.
Predicate logic variables ordered partition ea.svg Formula with place predicate and coinciding variables own matecode Predicate logic variables single ordered partitions Predicate logic coinciding variables