- #1

- 51

- 0

I'm not very sure whether a predicate can be neither true or false, and I haven't seen any example so far.

The second choice is false because it is the truth set that is the set of all values which make the predicate true.

A predicate has finite variables, so the third choice is false too.

I believe the truth set of a predicate can be empty, so the last choice is true.