_________________________________________________________________________

Facultad de Medicina
Pre-médico
Matemáticas
Taller: Cuantificadores
Profesor: Claudia Andrea González Legarda
___________________________________________________________
_________________________________________________________________________

En los problemas del 1 Al 10, considere los enunciados abiertos o predicados dados.

P(x,y): x es más rápido que y

Q(x,y): y es más alto que x
R(x): x pesa más de 200 libras

Escriba las siguientes expresiones:

1. 𝑃(𝑥, 𝐽𝑜𝑠é)
2. 𝑄(𝑀𝑖𝑔𝑢𝑒𝑙, 𝐿𝑢𝑖𝑠) ∧ 𝑅 (𝐽𝑢𝑎𝑛)
3. 𝑃(𝑥, 𝑦) → 𝑄(𝑥, 𝑦)
4. 𝑄(𝑥, 𝑦) → 𝑅(𝑥 )
5. 𝑃(𝑀𝑖𝑔𝑢𝑒𝑙, 𝐽𝑜𝑠é) ∨ [𝑄(𝑀𝑖𝑔𝑢𝑒𝑙, 𝐽𝑜𝑠é) ∧ 𝑅(𝐽𝑜𝑠é)]
6. ∀𝑥, ∀𝑦 𝑄(𝑥, 𝑦)) → 𝑃(𝑥, 𝑦)
7. ∀𝑥, 𝑃(𝑥, 𝐽𝑜𝑠é) ↔ 𝑅(𝑥 )
8. ∃𝑥, 𝑅(𝑥 ) ∧ ∀𝑦𝑃(𝑥, 𝑦)
9. ∃𝑦, ∀𝑥, 𝑃(𝑥, 𝑦) → 𝑅(𝑥 )
10. ∀𝑦, 𝑅(𝑀𝑖𝑔𝑢𝑒𝑙 ) ∨ 𝑄(𝑀𝑖𝑔𝑢𝑒𝑙, 𝑦)

En los problemas 11 al 15, escriba los predicados siguientes en forma simbólica.

1. “No todos los músculos son voluntarios”

2. “Existe un músculo que es el más largo del cuerpo humano”
3. “Nadie ama a todo el mundo”
4. “Existe un único músculo cardiaco”
5. “Existe un número que es más grande que cualquier solución conocida para
el problema o no hay solución”

En forma simbólica, escriba la negación de los predicados dados en el ejercicio

anterior.