A predicate is a sentence that contains a finite number of variables and becomes a statement when specific values are substituted for the variables. If P(x) is a predicate: Define: what is the domain...

Extracted text: A predicate is a sentence that contains a finite number of variables and becomes a statement when specific values are substituted for the variables. If P(x) is a predicate: Define: what is the domain for P? (give a definition, not an example - don't tell me "The Real Numbers"). Define: what is the truth set for P? (Both questions are short answer; one sentence each should do).