basic predicate logic question

Printable View