- Thread starter
- #1

#### lemonthree

##### New member

- Apr 11, 2016

- 20

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.