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 implications list negations.svg Negations of the formulas in px Inkscape own Matecode Predicate logic variables full Hasse diagram Predicate logic variables list Predicate logic variables coinciding variables Binary matrices representing tesseract vertices