TALLER ENTREGABLE SOBRE DEDUCCIÓN NATURAL

LÓGICA Y ARGUMENTACIÓN (SEMANA 11)

1. Realice la demostración formal de cada uno de los siguientes razonamientos. Los temas que se
revisan en este taller corresponden a los numerales 3.8 y 3.10 del texto guía. Para la solución
de los ejercicios deben circunscribirse exclusivamente a los numerales antes mencionados. No
se puede utilizar ni la Regla de la deducción ni la Ley de la deducción en el proceso.

Tenga presente que la competencia y el objetivo de aprendizaje que se persiguen en esta parte
del curso apunta al desarrollo de la competencia argumentativa formal y a la capacidad para
probar la validez de argumentos deductivos en general, respectivamente. La fecha de entrega
limite de entrega es el miércoles 15 de abril.

A. E.
𝑷𝟏: [ (𝒑 ⋀ 𝒒) ⇒ 𝒓] 𝑷𝟏: (𝒑 ⇒ 𝒒 )
𝑷𝟐 ∶ [ (𝒒 ⇒ 𝒓) ⇒ 𝒔 ] 𝑷𝟐 ∶ (𝒓 ⋁ 𝒒)
𝑷𝟑 ∶ 𝒑 𝑷𝟑 ∶ (𝒒 ⇒ 𝒑)
𝑪/: 𝒔 𝑷𝟒 ∶ (𝒓 ⇒ 𝒑)
𝑷𝟓: (¬𝒕 ⇒ ¬𝒒)
B. 𝑪/: 𝒕
𝑷𝟏: [ (𝒑 ⇒ 𝒒) ⋀ (𝒒 ⇒ 𝒓)]
𝑷𝟐 ∶ (𝒑 ⋁ 𝒔) F.
𝑷𝟑 ∶ [(𝒔 ⇒ 𝒕 ) ⋀ (𝒕 ⇒ 𝒖)] 𝑷𝟏: (𝒑 ⇒ ¬𝒒)
𝑪/: (¬𝒓 ⇒ 𝒖) 𝑷𝟐 ∶ (𝒓 ⇒ ¬𝒒)
𝑷𝟑 ∶ (𝒔 ⇒ 𝑡)
C. 𝑷𝟒: (¬𝒑 ⋀¬𝒓) ⇒ 𝒔]
𝑷𝟏: [(𝒑 ⋁ 𝒒) ⇒ ¬ 𝒕] 𝑪/: (𝒒 ⇒ 𝒕)
𝑷𝟐 ∶ 𝒒
𝑷𝟑 ∶ [ ¬(𝒘 ⋁ ¬𝒓) ⋁ 𝒕] G.
𝑷𝟒 ∶ [𝒓 ⇒ (𝒔 ⋁ 𝒖)] 𝑷𝟏: { [ (𝒑 ⋁ 𝒒) ⋀ 𝒓 ] ⇒ 𝒕}
𝑪/: (¬𝒔 ⇒ 𝒖) 𝑷𝟐 ∶ [(𝒓 ⇒ 𝒕) ⇒ (𝒔 ⇒ 𝒖)]
𝑷𝟑 ∶ 𝒔
D. 𝑪/: (𝒑 ⇒ 𝒖)
𝑷𝟏: ¬ (¬𝒒 ⋁ 𝒓)
𝑷𝟐 ∶ [𝒒 ⇒ ¬(¬𝒑 ⇒ 𝒔) H.
𝑷𝟑 ∶ [(𝒑 ⋁ 𝒔) ⋁(𝒘 ⋀ 𝒔)] 𝑷𝟏: [(𝒑 ⋀ 𝒒) ⇒ ¬𝒓]
𝑷𝟒 ∶ (𝒕 ⇒ ¬𝒘) 𝑷𝟐 ∶ [𝒓 ⋁ (𝒔 ⋀ 𝒕)]
𝑪/: ¬𝒕 𝑷𝟑 ∶ (𝒑 ⇔ 𝒒)
𝑪/: (𝒑 ⇒ 𝒔)