predicate logic.md

Graph