Let Qn be the predicate n2 lessthanorequalto 15 Find the tru

Let Q(n) be the predicate \"n^2 lessthanorequalto 15.\" Find the truth set of Q(n) if the domain of n is Z, the set of all integers. Write the formal negation of the following statement: forall computers c, c has a CPU. Translate the following statement into an English sentence. Forall m, n elementof Z, (m/n) elementof Z V (n/m) elementof Z

Solution

1. Q(n) = {-3,-2,-1,0,1,2,3}

2. there exist computers c, c has not a CPU.

3. if m and n are any integers (Z) then (m /n) or (n/m) will also be an integer.