Profesor: Ing.

Freddy De la Rosa

PREDICADOS
Predicados
1. Dado el referencial Re = {−2, −1, 0, 1, 2, 3, 4, 5}, determina el conjunto de verdad de
los siguientes predicados.

a) p(x) : x es par e) t(x) : x > 5

b) q(x) : x es impar f ) u(x) : x ≥ −2
c) r(x) : |x| + 1 es primo g) v(x) : x > 0
d ) s(x) : x(x + 2)(x − 3) = 0 h) w(x) : x2 6= 4

2. Con respecto al ejercicio anterior determina:

a) A¬p(x) i ) As(x) → ¬r(x)

b) A¬s(x) j ) As(x) ↔ r(x)
c) Ap(x) ∧ r(x) k ) Ap(x) Y ¬s(x)
 
d ) Aq(x) ∧ ¬s(x) l ) Aq(x) ∨ ¬ v(x) ∧ s(x)
 
e) Ap(x) ∨ s(x) m) A p(x) ∧ r(x) → ¬s(x)
 
f ) A¬r(x) ∨ ¬q(x) n) A q(x) ∨ r(x) → s(x)
 
g) Ap(x) → s(x) ñ) A t(x) → ¬r(x) ∨ ¬q(x)
   
h) Ar(x) → q(x) o) A w(x) → q(x) ∧ ¬ r(x) → ¬v(x)

3. Dado el referencial Re y los predicados p(x) y q(x), demuestra formalmente que:

a) A¬p(x) = A⊂ p(x)
b) Ap(x) ∧ q(x) = Ap(x) ∩ Aq(x)
c) Ap(x) ∨ q(x) = Ap(x) ∪ Aq(x)
d ) Ap(x) → q(x) = A⊂ p(x) ∪ Aq(x)
e) Ap(x) Y q(x) = A⊂ p(x)∆Aq(x)

4. Dado el referencial Re = {−3, −2, −1, 0, 1, 2, 3, 4} y los predicados:

• p(x) : x(x − 3)(x + 4) = 0

• q(x) : |x − 2| ≥ 3
• r(x) : x2 ≤ 3

Determine:

1
LATEX Profesor: Ing. Freddy De la Rosa

a) A¬q(x) ∧ ¬p(x)
b) A¬p(x) → ¬q(x)
c) Ap(x) → (q(x) ∧ r(x))
d ) A (r(x) ∨ ¬p(x)) → q(x)
e) A (p(x) ∨ q(x)) ↔ r(x)

5. Con respecto al ejercicio 1, determina el valor de verdad de las siguientes proposicio-

nes:

a) ∀xp(x) g) ∀xv(x) m) ∃xt(x) r ) ∀x¬u(x)

b) ∀xq(x) h) ∀xw(x) n) ∃xu(x) s) ∃x¬s(x)
c) ∀xr(x) i ) ∃xp(x) ñ) ∃xv(x) t) ∃x¬t(x)
d ) ∀xs(x) j ) ∃xq(x) o) ∃xw(x) u) ∃x¬u(x)
e) ∀xt(x) k ) ∃xr(x) p) ∀x¬q(x) v ) ∀x¬v(x)
f ) ∀xu(x) l ) ∃xs(x) q) ∀x¬t(x) w ) ∀x¬w(x)

6. Con respecto al ejercicio 1, determina el valor de verdad de las siguientes proposicio-

nes:

a) ∀x, p(x) ∨ q(x) f ) ∃x, ¬s(x) ∧ r(x)

b) ∀x, s(x) ∨ q(x) g) ∃x, ¬t(x) ∧ ¬s(x)
c) ∀x, t(x) → q(x) h) ∃x, p(x) → q(x)
d ) ∀x, ¬r(x) → s(x) i ) ∀x, p(x) → ∃x, t(x)
e) ∃x, p(x) ∧ q(x) j ) ∀x, ¬t(x) → ∃x, ¬u(x)

7. Dado el referencial Re = {−3, −2, −1, 0, 1, 2, 3, 4, 5}, determine el valor de verdad de

las siguientes proposiciones:

a) ∃x, x = −x
b) ∀x, x2 < 30
c) ∀x, ¬(x2 = 0)
d ) ∃x, x + 5 = 3 − x
e) ∃x, x2 = 16 → ∀x, x ≥ −4
f ) ∀x, ¬(x2 = 16) → ∀x, x es par

8. Dado el referencial Re y los predicados p(x) y q(x), demuestre formalmente que:

a) ¬∀x, p(x) ⇔ ∃x, ¬p(x)

2
 Profesor: Ing. Freddy De la Rosa

b) ¬∃x, p(x) ⇔ ∀x, ¬p(x)

c) ∀x, p(x) ∧ q(x) ⇔ ∀x, p(x) ∧ ∀x, q(x)
d ) ∀x, p(x) ∨ ∀, q(x) ⇒ ∀x, p(x) ∨ q(x)
e) ∃x, p(x) ∧ q(x) ⇒ ∃x, p(x) ∧ ∃, q(x)
f ) ∃x, p(x) ∨ q(x) ⇔ ∃x, p(x) ∨ ∃, q(x)

9. Dado el referencial Re y los predicados p(x) y q(x), determine el valor de verdad de

las siguientes proposiciones:

a) ¬∃x, ¬p(x) ≡ ∀x, p(x)

b) ∀x, p(x) ∨ ∀, q(x) ≡ ∀x, p(x) ∨ q(x)
c) ∃x, p(x) ∧ ∃, q(x) → ∃x, p(x) ∧ q(x)
d ) ∃x, p(x) ∧ q(x) ≡ ∃x, p(x) ∧ ∃x, q(x)
e) ∀x, (p(x) → q(x)) → (∀x, p(x) → ∀x, q(x))
f ) ∀x, p(x) → ∃x, p(x)
g) Si Re 6= ∅ → (∀x, p(x) → ∃x, p(x))
h) Si Re = ∅ → (∃x, p(x) → ∀x, p(x))
i ) Ap(x) ⊆ Aq(x) ↔ ∀x, p(x) → q(x)

10. Escriba la negación de cada proposición:

a) ∀x, p(x) → q(x)

b) ∃x, ¬p(x) ∧ q(x)
 
c) ∀x, ¬p(x) → q(x) → ¬p(x)
 
d ) ∃x, ¬p(x) ∧ ¬q(x) → p(x)

11. Traduzca al lenguaje formal las siguientes proposiciones y escriba su negación en

español:

a) Existen medios de comunicación que no son imparciales.

b) Ningún ministro de estado acepta entrevistas en medios privados.
c) Todos los deportistas clasificados a las olimpiadas son de alto rendimiento.
d ) Los animales mamı́feros no son acuáticos ni terrestres.
e) Todas las redes sociales son adictivas o demandan tiempo.
f ) Existe series animadas que si son entretenidos tienen buenas animaciones.
g) Ninguna empresa que pague utilidades y declare impuestos recibirá un llamado
de atención.

3
LATEX Profesor: Ing. Freddy De la Rosa

h) Solo si ningún ciudadano denuncia al detenido, al memos una de las vı́ctimas

no recupera sus pertenencias.
i ) Si existe un pez que sea mamı́fero entonces ningún mamı́fero es terrestre.
j ) Basta que todos los libros sean revisados por un pedagogo para que a ninguno
se niegue el aval.
k ) Todos los aspirantes tienen licencia pero ninguno alcanzó la máxima nota.

12. Traduzca al lenguaje formal la siguiente proposición: “Todos las cocinas a gas queda-
rán obsoletas en 2 años. Ninguna cocina a gas es eléctrica. Existen cocinas eléctricas
que son de inducción. Por lo tanto, las cocinas que no son de inducción quedarán
obsoletas en 2 años”.

Predicados de varias variables

13. Si se tienen los referenciales Rex = {−1, 0, 1, 2} y Rey = {−1, 1, 2, 3} determina el

conjunto de verdad de los siguientes predicados.

a) p(x, y) : x ≥ y d ) s(x, y) : xy + 1 > 0

b) q(x, y) : x = −1 e) t(x, y) : x2 + y 2 = 0
c) r(x, y) : xy ≥ 1 f ) p(y, x)

14. Con respecto al ejercicio 13, determina el conjunto de verdad de los siguientes predi-
cados:

a) p(x, 2) d ) s(0, y)
b) q(−1, y) e) t(x, 2)
c) r(x, 3) f ) p(0, y)

15. Con respecto al ejercicio 13, determina el valor de verdad de las siguientes proposi-
ciones:

a) ∀x∀y, p(x, y) e) ∃y∀x, p(x, y)

b) ∃x∃y, p(x, y) f ) ∀y∃x, p(x, y)
c) ∀x∃y, p(x, y) g) ∃y∀x, ¬p(x, y)
d ) ∃x∀y, p(x, y) h) ∃x∀y, ¬p(x, y)

16. Con respecto al ejercicio 13 determina el conjunto de verdad de los siguientes predi-
cados.

4
 Profesor: Ing. Freddy De la Rosa

a) ∀x, p(x, y) d ) ∃x, q(x, y) g) ∀x, s(x, y)

b) ∃y, p(x, y) e) ∀y, q(x, y) h) ∃y, t(x, y)
c) ∃y, ¬p(x, y) f ) ∃x, r(x, y) i ) ∀y, ¬t(x, y)

17. Con respecto al ejercicio 13 determina el valor de verdad de las siguientes proposi-
ciones.

a) ∀x, p(x, −1) g) ∀y, r(0, y)

b) ∀x, p(x, 1) h) ∃x, r(x, 2)
c) ∃x, p(x, 2) i ) ∀y, ¬r(−1, y)
d ) ∃y, p(1, y) j ) ∃x, ¬r(x, 3)
e) ∀y, q(−1, y) k ) ∀x, s(x, 3)
f ) ∃y, q(2, y) l ) ∀y, t(2, y)

18. Determine la negación de la proposición: ∀x∃y, (x = y + 2 → x > y)

19. Determine la negación de la proposición: ∃x∃y∀z, (x = z ∨ x = y) → ¬x = 3

20. Determie la negación de la proposición: “Todas las computadoras tienen al menos

una tecla dañada”.

Razonamientos

21. Determie la validez de los siguientes razonamientos:

a) Todos los polı́ticos son abogados. Existen abogados que son corruptos. Entonces,
existen polı́ticos que son corruptos.
b) Todos los polı́ticos son abogados. Existen abogados que son corruptos. Entonces,
ningún polı́tico es corrupto.
c) Algunos cereales son altos en azúcar. Todos los cereales son procesados. Luego,
existen cereales procesados.
d ) Todos los abogados son polı́ticos. Todos los polı́ticos son mentiroros. Por lo
tanto, todos los abogados son mentirosos.
e) Todos peces que pican el anzuelo mueren. Nemo no picó el anzuelo. Por lo tanto,
Nemo no morirá.
f ) Todas las ranas son batracios. Ningún lagarto es batracio. Juancho es lagarto.
Luego, Juancho no es batracio.

5
LATEX Profesor: Ing. Freddy De la Rosa

22. Dadas la hipótesis:

H1 : Todos los actores tienen déficit de atención.

H2 : Existen actores que son famosos.
H3 : Ningún ingeniero tiene déficit de atención.

Indique con cuáles de las siguientes conclusiones el razonamiento es válido.

a) Ningún ingeniero es actor.

b) Si Panchito es ingeniero, entonces no es famoso.
c) Existen famosos que no son ingenieros.
d ) Existen famosos con déficit de atención.
e) No todo famoso tiene déficit de atención.

23. El antecedente de un razonamiento se muestra a continuación:

“Ningún aspirante se graduó con honores. Todos los aspirantes obtuvieron licencia.
No todos los graduados con honores obtuvieron licencia. Los graduados con honores
que obtuvieron licencia respetaron los lı́mites de velocidad. Tolomeo fue uno de los
aspirantes”.
Indique con cuáles de las siguientes conclusiones el razonamiento es válido.

a) Tolomeo no se graduó con honores.

b) Tolomeo respetó los lı́mites de velocidad.
c) Tolomeo no respetó los lı́mites de velocidad.
d ) Existen aspirantes que no respetaron los lı́mites de velocidad.
e) Existen aspirantes que respetaron los lı́mites de velocidad.
f ) Existen graduados con honores que obtuvieron licencia.
g) No todos los graduados con honores respetan los lı́mites de velocidad.