Ejercicios Gaby - Lógica proposicional

19 de abril del 2019

Resuelve los siguientes ejercicios. Usa las siete reglas de inferencia y la doble negación.

A) E)

1. ~𝑝 ⊃ 𝑞 1. (𝑝 ∨ (𝑞 ∨ 𝑠)) ⊃ (𝑝 ∧ (𝑞 ∧ 𝑠))
2. 𝑞⊃𝑟 2. ~𝑡 ⊃ (𝑝 ∨ (𝑞 ∧ 𝑠))
3. 𝑠 ∨ (𝑡 & 𝑢) 3. ~𝑡 ⊃ ~𝑝
4. ~𝑟 ∧ ~𝑠 4. ~𝑡

⁄∴ 𝑝 ∧ 𝑡 ⁄∴ 𝑞

B) G)

1. ~𝑝 ⊃ 𝑞 1. 𝑝 ⊃ (((𝑞 ∧ 𝑠) ∨ 𝑡) ∧ 𝑟)
2. 𝑞⊃𝑟
3. 𝑠 ∨ (𝑡 & 𝑢) 2. ~~ (((𝑞 ∧ 𝑠) ∨ 𝑡) ∧ 𝑟) ⊃ ~~𝑡
4. ~𝑟 ∧ ~𝑠 3. 𝑡 ⊃ (𝑚 ∧ ~~𝑞)
4. (𝑚 ∧ 𝑞) ⊃ (𝑟 ∧ ~~~~𝑠)
⁄∴ 𝑞 ∨ 𝑠
⁄∴ 𝑝 ⊃ (𝑟 ∧ 𝑠)
C)
H)
1. 𝑝 ⊃ ~𝑞
2. 𝑞⊃𝑟 1. 𝑝⊃𝑞
3. 𝑠 ∨ (𝑡 & 𝑢) 2. 𝑞⊃𝑟
4. ~𝑟 ∧ ~𝑠 3. 𝑠 ⊃ ~𝑟
4. ~𝑚 ⊃ 𝑠
⁄∴ 𝑝 ∨ 𝑢
5. 𝑝
D)
⁄∴ (~𝑝 ∧ (~𝑞 ∧ ~𝑟)) ∨ 𝑚
1. (𝑝 ∨ (𝑞 ∨ 𝑠)) ⊃ (𝑝 ∧ (𝑞 ∧ 𝑠))
I)
2. ~𝑡 ⊃ (𝑝 ∨ (𝑞 ∧ 𝑠))
3. ~𝑡 ⊃ 𝑝 1. 𝑝 ⊃ 𝑞
4. ~𝑡 2. (((~𝑞 ∧ ~𝑟) ∧ 𝑠) ∧ (~(𝑡 ∧ 𝑚) ∧ 𝑛))
⁄∴ 𝑞 3. 𝑡 ⊃ 𝑠
4. ~𝑝 ⊃ 𝑠

⁄∴ 𝑠
Traduce los siguientes argumentos, escríbelos en una línea y demuestra su validez usando
deducción natural.

1. Si llegaste a Prepa 5, entonces pasaste por Galerías o pasaste por Taxqueña. No pasaste
por Taxqueña, pero ya llegaste a Prepa 5. Por lo tanto, obviamente pasaste por Galerías.

2. Podemos decir que alguien sabe lógica formal si y solo si puede resolver este ejercicio. Si
Roberto sabe lógica formal y no pudo resolver este ejercicio, entonces es completamente
falso que alguien sabe lógica formal si y solo sí puede resolver este ejercicio. Por lo tanto,
es falso que Roberto no sabe lógica formal y no pudo resolver este ejercicio.

3. Si nuestro objetivo es disfrutar la vida, entonces no deberíamos preocuparnos por

frivolidades. Si nuestra vida es finita, entonces o nos preocupamos por frivolidades o
buscamos crear lazos con otras personas, pero no podemos hacer ambos al mismo tiempo.
De hecho, nuestro objetivo es disfrutar de la vida y sabemos que nuestra vida es finita. Por
lo tanto, hay que buscar crear lazos con otras personas.

4. Si la lógica estudia cuáles son los razonamientos correctos y es una disciplina universitaria,
entonces la lógica es valiosa. Si la lógica no estudiará los razonamientos correctos,
entonces o estudiaría el razonamiento en general o no tendría ningún objeto de estudio.
Pero sabemos que dos cosas son ciertas: es completamente falso que la lógica o estudie el
razonamiento en general o no tenga ningún objeto de estudio; y la lógica es una disciplina
universitaria. Por lo tanto, debemos afirmar que la lógica es valiosa.

5. Pedro y Tadeo viven en México. Pedro vive en Puebla. Si Tadeo viviera en Tlaxcala, Pedro
lo visitaría todo el tiempo. Pero si Tadeo viviera en Tabasco, Pedro no podría visitarlo todo
el tiempo. Si es falso que Pedro no vive en México, entonces o Pedro no vive en Puebla o
Tadeo en Tabasco. Por lo tanto, sabemos que Pedro no puede visitar a Tadeo todo el
tiempo.