Академический Документы
Профессиональный Документы
Культура Документы
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) 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)
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)
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
2
Profesor: Ing. Freddy De la Rosa
3
LATEX Profesor: Ing. Freddy De la Rosa
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”.
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:
16. Con respecto al ejercicio 13 determina el conjunto de verdad de los siguientes predi-
cados.
4
Profesor: Ing. Freddy De la Rosa
17. Con respecto al ejercicio 13 determina el valor de verdad de las siguientes proposi-
ciones.
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