1. Usando las inferencias notables.

Determine la conclusión de:

“Si Andrés se dedique a la pintura, entonces será un gran artista; o también, si no se

dedica a administrar los negocios de su padre, ganará buen sueldo. Andrés se dedica
a administrar los negocios de su padre o a ganar un buen sueldo, es evidente que no
habrá realizado sus sueños. Pero Andrés realizará sus sueños”.

𝑝: Andrés se dedique a la pintura

𝑞: será un gran artista
𝑟: se dedica a administrar los negocios de su padre
𝑠: ganará buen sueldo
𝑡: habrá realizado sus sueños

𝑝1 ) (𝑝 → 𝑞) ∨ (~𝑟 → 𝑠)
𝑝2 ) (𝑟 ∨ 𝑠) → ~𝑡 (1 punto)
𝑝3 ) 𝑡

𝑝4 ) ~(~𝑟 → 𝑠) (2,3)𝑀𝑇𝑇, 𝐿. 𝐶𝑜𝑛𝑑𝑖

1.5 puntos
𝑝5 ) 𝑝→𝑞 (1,4)𝑆. 𝐷
Si Andrés se dedique a la pintura, entonces será un gran artista 0.5

2. Usando las inferencias notables. Determine la conclusión de:

“Si Andrés se dedique a la pintura, entonces será un gran artista; o también, si se

dedica a administrar los negocios de su padre, ganará buen sueldo. Andrés no se
dedica a administrar los negocios de su padre o a ganar un buen sueldo, es evidente
que habrá realizado sus sueños. Pero Andrés no realizará sus sueños”.

𝑝: Andrés se dedique a la pintura

𝑞: será un gran artista
𝑟: se dedica a administrar los negocios de su padre
𝑠: ganará buen sueldo
𝑡: habrá realizado sus sueños

𝑝1 ) (𝑝 → 𝑞) ∨ (𝑟 → 𝑠)
𝑝2 ) (~𝑟 ∨ 𝑠) → 𝑡 (1 punto)
𝑝3 ) ~𝑡

𝑝4 ) ~(𝑟 → 𝑠) (2,3)𝑀𝑇𝑇, 𝐿. 𝐶𝑜𝑛𝑑𝑖

1.5 puntos
𝑝5 ) 𝑝→𝑞 (1,4)𝑆. 𝐷
Si Andrés se dedique a la pintura, entonces será un gran artista (0.5)
3. Usando las inferencias notables. Determine la conclusión de:

“Si Rafael fue visto saliendo del banco a menos que dejó algún documento allí,
entonces Pedro le seguirá el rastro y lo acusará de estafa. Puesto que Pedro le sigue
el rastro y lo acusa de estafa, Rafael tendrá coartada. A pesar de que Rafael fue visto
saliendo del banco salvo que dejó algún documento allí.”
𝑝: Rafael fue visto saliendo del banco
𝑞: Rafael dejó algún documento allí
𝑟: Pedro le seguirá el rastro
𝑠: Pedro lo acusará de estafa
𝑡: Rafael tendrá coartada

𝑝1 ) (𝑝 ∨ 𝑞) → (𝑟 ∧ 𝑠)
𝑝2 ) (𝑟 ∧ 𝑠) → 𝑡 (1 punto)
𝑝3 ) 𝑝∨𝑞

𝑝4 ) (𝑝 ∨ 𝑞) → 𝑡 (1,2)𝑆𝐻𝑃
1.5 puntos
𝑝5 ) 𝑡 (4,3)𝑀𝑃𝑃
Rafael tendrá coartada (0.5) punto

4. Usando las inferencias notables. Determine la conclusión de:

“No es cierto que, si Rafael fue visto saliendo del banco a menos que dejó algún
documento allí, entonces Pedro le seguirá el rastro y lo acusará de estafa. Puesto que
Pedro le sigue el rastro y lo acusa de estafa, Rafael no tendrá coartada. Es falso que,
Rafael fue visto saliendo del banco salvo que dejó algún documento allí.”
𝑝: Rafael fue visto saliendo del banco
𝑞: Rafael dejó algún documento allí
𝑟: Pedro le seguirá el rastro
𝑠: Pedro lo acusará de estafa
𝑡: Rafael tendrá coartada

𝑝1 ) ~(𝑝 ∨ 𝑞) → (𝑟 ∧ 𝑠)
𝑝2 ) (𝑟 ∧ 𝑠) → ~𝑡 (1 punto)
𝑝3 ) ~(𝑝 ∨ 𝑞)

𝑝4 ) ~(𝑝 ∨ 𝑞) → ~𝑡 (1,2)𝑆𝐻𝑃
1.5 puntos
𝑝5 ) ~𝑡 (4,3)𝑀𝑃𝑃
Rafael no tendrá coartada (0.5) punto