Sea el conjunto Re = { 1, 2, 3, 4, 5, 6, 7, 8} y los predicados p(x) : x≥5 y q(x) : x≤3 , entonces el conjuntó de verdad del predicado A[p(x) - >q(x)] es?

Hola!

El conjunto de los predicados es aquel que cumple con la aseveraciónde la sentencia dada, es decir, p(x) : x≥5 son los valores que sean mayores o igules a 5, por lo tanto el conjunto es : p = {5, 6, 7, 8} y con q(x) : x≤3 son los valores que sean menores o iguales a 3 - - - > q = {1, 2, 3}

El conjunto de la verdad A = { p(x) > q(x)} cumple con la sentencia porque todos los elementos del conjunto p son mayores que los elementos del conjunto q.

Espero haya sido de gran ayuda!