Taller: Repaso de Lógica.

1. Sea T(x, y): “x es más alto que y”. El dominio consta de 5 estudiantes: Lina, que mide
1.55 cm, Margarita, que mide 1.70 cm, Francisco que mide 1.64 cm, Isabel, que mide
1.60 cm y Alexander, quien mide 1.68 cm. Escriba cada proposición con palabras e
indique si es verdadera o falsa:

2. Usar reglas de inferencia para demostrar que la conclusión se deriva de las hipótesis:
Hipótesis: Todos en clase tienen una calculadora que gráfica. Todos los que tienen
calculadora que grafica entienden las funciones trigonométricos.
Conclusión: Rafael, que está en la clase, entiende las funciones trigonométricas.
3. Verificar si la siguiente conclusión es válida a partir de premisas dadas:

4. Demostrar la conclusión si es válida:

¬𝑝 ∨ 𝑟
¬𝑟 ∨ 𝑞
𝑝
____________
∴𝑞

5. Encuentra una formula con las variables proposicionales p, q, r y s que sea

verdadera cuando exactamente tres de estas variables proposicionales sean
verdaderas y falsa en cualquier otro caso.
6. Escribir la inversa se la siguiente proposición en lenguaje natural:
(Dominio para todas las variables es el conjunto de los números reales)
xyz( xy  z) .

7. Formalizar y demostrar la conclusión: A Quique le gustan las peliculas de acción. A

Quique le gusta la película "En la linea de fuego". Por lo tanto "En la línea de fuego"
es una película de acción.
8. Formalizar la siguiente sentencia si dominio consiste en todos los números enteros:
“La diferencia de enteros positivos no es necesariamente positiva”
9. ¿Qué es lo que falla en este argumento? Dada la premisa ∃𝑥𝑃(𝑥)⋀∃𝑥𝑄(𝑥), usa la ley
de simplificación para obtener ∃𝑥𝑃(𝑥) ; utiliza la particularización existencial para
obtener P(c) para algún elemento c; emplea de nuevo la ley de simplificación para
obtener ∃𝑥𝑄(𝑥); usa la particularización para obtener Q(c); utiliza la conjunción para
concluir que 𝑃(𝑐)⋀𝑄(𝑐) . Finalmente, emplea la generalización existencial para
concluir que ∃𝑥(𝑃(𝑥)⋀𝑄(𝑥)).
El argumento falla cuando obtenemos Q(c). No sabemos que este elemento es el
mismo c.
10. Supongamos que el conjunto universal es U={1,2,3,4,5,6,7,8,910}. Determinar el
conjunto para la siguiente cadena: 01 0111 1000