Find the truth set for the following predicates answer shoul

Find the truth set for the following predicates: (answer should be a {set}

Solution

A predicate is an asset that a finite collection of variables can contain. A predicate become a scheme when particular values are assign to the variables. P(x1, x2,... xn) is called a predicate of n variables or n arguments.

A)

N- Natural Numbers    All +ve integers starting from 1

If P(x) is a predicate

x has domain N,

Truth set of P(x) is the set of all elements t of N

Such that P (t) is true,

i.e. {t U|P (t) is true}

N= {1, 2, 3.......N-1, N}

P(X) = 8/X

TRUTH SET= {1, 2, 4, 8}

B)

Z- Integers          all integers +ve and -ve

z= {-inf...-2,-1,...0, 1, 2 }

P(X) = 8<=P^3<=125

TRUTH SET= {2,3,4,5}