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.svg Implications between statements with two variables in firstorder logic represented by sketches of their logical matrices own matecode px style width height pxtextalign center color black background fff border px solid eee margin px px px This vector image was created with Inkscape and