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 list.svg Implications between statements in predicate logic represented by sets of logical matrices for the case that there are individuals matrix is in the set when it's marked red The bottom set is this one px It contains only the matrix begin pmatrix end pmatrix Inkscape own Matecode