Question

Sea el conjunto referencial Re= {1, 2, 3, 4...} y los predicados: p(x): x es un numero impar, q(x): x es un numero par

Answer 1

Hola! 

    El predicado de ese rango en particular, es que la proposición de x en el caso especifico sea verdadera, es decir que cumpla la aseveración por ejemplo: 

p(x) : " x es impar " ---> como el rango es todos los reales mayores a cero, tomamos cualquier valor. x = 2 entonces, p(2) : "2 es impar" es falsa la aseveración por lo tanto del rango Re{1, 2, 3, 4, ...n}  los x que cumplen con x = impar son: Impar{1, 3, 5, 2n+1} y los que cumplen con x = par son: Par{2, 4, 6, 2n}.

                                                             Espero haya sido de gran ayuda!