What is the predicate logic?

3 answers 3