TALLER SOBRE DEDUCCIÓN NATURAL

LÓGICA

1. Complete la siguiente demostración formal. Aplique las reglas de deducción natural y

equivalencias lógicas que se proponen.

A.
𝑷𝟏: [ ¬ (𝒓 ⋀ 𝒔) ⇒ 𝒕]
𝑷𝟐 ∶ [𝒕 ⇒ ¬ (𝒑 ⋀ 𝒒) ]
𝑷𝟑 ∶ (¬𝒓 ⋁ ¬ 𝒔)
𝑪/: (¬𝒑 ⋁ ¬𝒒)
𝑷𝟒´: ¬(r ^ s) 𝑳𝒆𝒚 𝒅𝒆 𝑫𝑴 𝒆𝒏 𝑷𝟑
𝑷𝟓´: T 𝑴. 𝑷 𝒆𝒏𝒕𝒓𝒆 𝑷𝟏 𝒚 𝑷𝟒´
𝑷𝟔´: ¬(p ^ q) 𝑴. 𝑷 𝒆𝒏𝒕𝒓𝒆 𝑷𝟐 𝒚 𝑷𝟓´
𝑷𝟕´: (¬p v ¬q) 𝑳𝒆𝒚 𝒅𝒆 𝑫𝑴 𝒆𝒏 𝑷𝟔´

B.
𝑷𝟏: { ¬𝒒 ⇒ [ 𝒑 ⇒ (¬𝒕 ⋁ ¬𝒖)]}
𝑷𝟐 ∶ [¬𝒘 ⇒ (𝒓 ⋁ 𝒔) ]
𝑷𝟑 ∶ [(𝒓 ⋁ 𝒔) ⇒ ¬𝒒]
𝑷𝟒 ∶ (¬𝒘 ⋀ 𝒑)
𝑪/: ¬(𝒕 ⋀ 𝒖)
𝑷𝟓´: 𝑺𝒊𝒎𝒑 𝒆𝒏 𝑷𝟒
𝑷𝟔´: 𝑴. 𝑷 𝒆𝒏𝒕𝒓𝒆 𝑷𝟐 𝒚 𝑷𝟓´
𝑷𝟕´: 𝑴. 𝑷 𝒆𝒏𝒕𝒓𝒆 𝑷𝟑 𝒚 𝑷𝟔´
𝑷𝟖´: 𝑴. 𝑷 𝒆𝒏𝒕𝒓𝒆 𝑷𝟏 𝒚 𝑷𝟕´
𝑷𝟗´: 𝑺𝒊𝒎𝒑 𝑬𝒏 𝑷𝟒
𝑷𝟏𝟎´: 𝑴. 𝑷 𝒆𝒏𝒕𝒓𝒆 𝑷𝟖´ 𝒚 𝑷𝟗´
𝑷𝟏𝟏´: 𝑳𝒆𝒚 𝒅𝒆 𝑫. 𝑴 𝒆𝒏 𝑷𝟏𝟎´

C.
𝑷𝟏: (𝒔 ⇒ 𝒕)
𝑷𝟐 ∶ (¬𝒒 ⋁ ¬𝒓)
𝑷𝟑 ∶ (¬𝒑 ⇒ 𝒔)
𝑷𝟒 ∶ (¬𝒕 ⋁ 𝒒)
𝑷𝟓: ¬¬𝒓
𝑪/: 𝒑
𝑷𝟔´: 𝑺. 𝑫 𝒆𝒏𝒕𝒓𝒆 𝑷𝟐 𝒚 𝑷𝟓
𝑷𝟕´: 𝑺. 𝑫 𝒆𝒏𝒕𝒓𝒆 𝑷𝟒 𝒚 𝑷𝟔´
𝑷𝟖´: 𝑴. 𝑻 𝒆𝒏𝒕𝒓𝒆 𝑷𝟏 𝒚 𝑷𝟕´
𝑷𝟗´: 𝑴. 𝑻 𝒆𝒏𝒕𝒓𝒆 𝑷𝟑 𝒚 𝑷𝟖´ + 𝑳𝒆𝒚 𝒅𝒆 𝑫. 𝑵
 D.
𝑷𝟏: [ ¬𝒑 ⋁ (𝒔 ⋀ 𝒕)]
𝑷𝟐 ∶ (¬𝒑 ⇒ ¬𝒒)
𝑷𝟑 ∶ (𝒖 ⇒ 𝒒)
𝑷𝟒 ∶ (𝒖 ⋁ 𝒓)
𝑷𝟓: ¬𝒓
𝑪/: (𝒕 ⋁ 𝒘)
𝑷𝟔´: 𝑺. 𝑫 𝒆𝒏𝒕𝒓𝒆 𝑷𝟒 𝒚 𝑷𝟓
𝑷𝟕´: 𝑴. 𝑷 𝒆𝒏𝒕𝒓𝒆 𝑷𝟑 𝒚 𝑷𝟔´
𝑷𝟖´: 𝑴. 𝑻 𝒆𝒏𝒕𝒓𝒆 𝑷𝟐 𝒚 𝑷𝟕´ + 𝑳𝒆𝒚 𝒅𝒆 𝑫. 𝑵
𝑷𝟗´: 𝑺. 𝑫 𝒆𝒏𝒕𝒓𝒆 𝑷𝟏 𝒚 𝑷𝟖´
𝑷𝟏𝟎´: 𝑺𝒊𝒎𝒑 𝒆𝒏 𝑷𝟗´
𝑷𝟏𝟏´: 𝑨𝒅𝒋 𝒆𝒏 𝑷𝟏𝟎´

E.
𝑷𝟏: [ 𝒑 ⇒ ¬(𝒒 ⋀ 𝒓)]
𝑷𝟐 ∶ (𝒖 ⋁ 𝒒)
𝑷𝟑 ∶ (¬𝒔 ⇒ 𝒓)
𝑷𝟒 ∶ [ ¬(¬𝒔 ⋀ ¬𝒖) ⇒ 𝒕]
𝑷𝟓: (¬𝒕 ⋀ ¬𝒘)
𝑪/: ¬𝒑
𝑷𝟔´: 𝑺𝒊𝒎𝒑 𝒆𝒏 𝑷𝟓
𝑷𝟕´: 𝑴. 𝑻 𝒆𝒏𝒕𝒓𝒆 𝑷𝟒 𝒚 𝑷𝟕´ + 𝑳𝒆𝒚 𝒅𝒆 𝑫.
𝑵
𝑷𝟖´: 𝑺𝒊𝒎 𝑷𝟕´
𝑷𝟗´: 𝑴. 𝑷 𝒆𝒏𝒕𝒓𝒆 𝑷𝟑 𝒚 𝑷𝟖´
𝑷𝟏𝟎´: 𝑺𝒊𝒎 𝑷𝟕´
𝑷𝟏𝟏´: 𝑺. 𝑫 𝑷𝟐 𝒚 𝑷𝟏𝟎´
𝑷𝟏𝟐´: 𝑪𝒐𝒏𝒋 𝒆𝒏𝒕𝒓𝒆 𝑷𝟗´𝒚 𝑷𝟏𝟏´
𝑷𝟏𝟑´: 𝑴. 𝑻 𝒆𝒏𝒕𝒓𝒆 𝑷𝟏 𝒚 𝑷𝟏𝟐´

2. Complete la siguiente demostración formal. Escriba el nombre de las reglas de inferencia y

equivalencias lógicas aplicadas en cada paso del proceso.

F.
𝑷𝟏: (𝒔 ⋁ 𝒑)
𝑷𝟐 ∶ (¬𝒒 ⇒ ¬𝒔)
𝑷𝟑 ∶ (𝒘 ⇒ ¬𝑟)
𝑷𝟒: ¬𝒑
𝑷𝟓 ∶ (𝒒 ⇒ 𝒓)
𝑷𝟔: (𝒘 ⋁ 𝒕)
𝑷𝟕: (𝒕 ⇒ 𝒖)
𝑪/: 𝒖 𝑹𝒆𝒈𝒍𝒂𝒔 𝒅𝒆 𝒅𝒆𝒅𝒖𝒄𝒄𝒊ó𝒏 𝒚/𝒐 𝒆𝒒𝒖𝒊𝒗𝒂𝒍𝒆𝒏𝒄𝒊𝒂𝒔 𝒂𝒑𝒍𝒊𝒄𝒂𝒅𝒂𝒔:
𝑷𝟖´: 𝒔 SD 1, 4
𝑷𝟗´: 𝒒 MT 2, 8
𝑷𝟏𝟎´: 𝒓 MP 5, 9
𝑷𝟏𝟏´: ¬𝒘 MP 3, 10
𝑷𝟏𝟐´: 𝒕 SD 6, 11
𝑷𝟏𝟑´: 𝒖 MP 7, 12
G.
𝑷𝟏: ¬¬𝒘
𝑷𝟐 ∶ (𝒒 ⇒ 𝒕)
𝑷𝟑 ∶ (¬𝒖 ⇒ ¬𝑝)
𝑷𝟒: (𝒔 ⋁ ¬𝒘)
𝑷𝟓 ∶ (𝒖 ⇒ 𝒒)
𝑷𝟔: (𝒓 ⋁ ¬𝒔)
𝑷𝟕: (¬𝒑 ⇒ ¬𝒓)
𝑪/: (𝒖 ⋀ 𝒕) 𝑹𝒆𝒈𝒍𝒂𝒔 𝒅𝒆 𝒅𝒆𝒅𝒖𝒄𝒄𝒊ó𝒏 𝒚/𝒐 𝒆𝒒𝒖𝒊𝒗𝒂𝒍𝒆𝒏𝒄𝒊𝒂𝒔 𝒂𝒑𝒍𝒊𝒄𝒂𝒅𝒂𝒔:
𝑷𝟖´: 𝒘
𝑷𝟗´: 𝒔
𝑷𝟏𝟎´: 𝒓
𝑷𝟏𝟏´: 𝒑
𝑷𝟏𝟐´: 𝒖
𝑷𝟏𝟑´: 𝒒
𝑷𝟏𝟒´: 𝒕
𝑷𝟏𝟓´: (𝒖 ⋀ 𝒕)

H.
𝑷𝟏: (𝒑 ⋁ ¬𝒒)
𝑷𝟐 ∶ (𝒒 ⋁ 𝒓)
𝑷𝟑 ∶ (¬𝒓 ⋀ 𝑠)
𝑷𝟒: (𝒑 ⇒ 𝒕)
𝑷𝟓 ∶ (𝒘 ⇒ ¬𝒕)
𝑷𝟔: [¬𝒖 ⇒ ¬(¬𝒘 ⋀ 𝒔)]
𝑪/: (𝒖 ⋁ 𝒎) 𝑹𝒆𝒈𝒍𝒂𝒔 𝒅𝒆 𝒅𝒆𝒅𝒖𝒄𝒄𝒊ó𝒏 𝒚/𝒐 𝒆𝒒𝒖𝒊𝒗𝒂𝒍𝒆𝒏𝒄𝒊𝒂𝒔 𝒂𝒑𝒍𝒊𝒄𝒂𝒅𝒂𝒔:
𝑷𝟕´: ¬𝒓
𝑷𝟖´: 𝒒
𝑷𝟗´: 𝒑
𝑷𝟏𝟎´: 𝒕
𝑷𝟏𝟏´: ¬𝒘
𝑷𝟏𝟐´: 𝒔
𝑷𝟏𝟑´: (¬𝒘 ⋀ 𝒔)
𝑷𝟏𝟒´: 𝒖
𝑷𝟏𝟓´: (𝒖 ⋁ 𝒎)

I.
𝑷𝟏: [(𝒑 ⋁ 𝒒) ⇒ 𝒔]
𝑷𝟐 ∶ (𝒑 ⋁ 𝒕)
𝑷𝟑 ∶ (¬𝒕 ⋁ ¬𝒕)
𝑷𝟒: 𝒖
𝑪/: (𝒔 ⋀ 𝒖) 𝑹𝒆𝒈𝒍𝒂𝒔 𝒅𝒆 𝒅𝒆𝒅𝒖𝒄𝒄𝒊ó𝒏 𝒚/𝒐 𝒆𝒒𝒖𝒊𝒗𝒂𝒍𝒆𝒏𝒄𝒊𝒂𝒔 𝒂𝒑𝒍𝒊𝒄𝒂𝒅𝒂𝒔:
𝑷𝟓´: ¬𝒕
𝑷𝟔´: 𝒑
𝑷𝟕´: (𝒑 ⋁ 𝒒)
𝑷𝟖´: 𝒔
𝑷𝟗´: (𝒔 ⋀ 𝒖)
 J.
𝑷𝟏: (¬𝒓 ⋁ ¬𝒓)
𝑷𝟐 ∶ (𝒑 ⇒ 𝒔)
𝑷𝟑 ∶ (¬𝒕 ⋁¬𝒕)
𝑷𝟒: ¬(𝒖 ⋀ ¬ 𝒘)
𝑷𝟓: [¬(𝒑 ⋀ 𝒒) ⇒ 𝒓]
𝑷𝟔: (¬𝒖 ⇒ 𝒕)
𝑪/: [(𝒔 ⋀ 𝒘) ⋀ ¬𝒓] 𝑹𝒆𝒈𝒍𝒂𝒔 𝒅𝒆 𝒅𝒆𝒅𝒖𝒄𝒄𝒊ó𝒏 𝒚/𝒐 𝒆𝒒𝒖𝒊𝒗𝒂𝒍𝒆𝒏𝒄𝒊𝒂𝒔 𝒂𝒑𝒍𝒊𝒄𝒂𝒅𝒂𝒔:
𝑷𝟕´: ¬𝒓
𝑷𝟖´: (𝒑 ⋀ 𝒒)
𝑷𝟗´: 𝒑
𝑷𝟏𝟎´: 𝒔
𝑷𝟏𝟏´: (¬𝒖 ⋁ 𝒘)
𝑷𝟏𝟐´: ¬𝒕
𝑷𝟏𝟑´: 𝒖
𝑷𝟏𝟒´: 𝒘
𝑷𝟏𝟓´: (𝒔 ⋀ 𝒘)
𝑷𝟏𝟔´: [(𝒔 ⋀ 𝒘) ⋀ ¬𝒓]

3. Realice la demostración formal completa para cada uno de los siguientes ejercicios. Escriba el
nombre de las reglas de inferencia y equivalencias lógicas aplicadas en cada paso del proceso.

K.
𝑷𝟏: [ ¬𝒕 ⇒ (𝒘 ⋀ 𝒖)]
𝑷𝟐 ∶ (𝒑 ⋀ 𝒒)
𝑷𝟑 ∶ (𝒒 ⇒ 𝒔)
𝑷𝟒: [(𝒓 ⋀ 𝒔) ⇒ ¬𝒕]
𝑷𝟓: (𝒑 ⇒ 𝒓)
𝑪/: (𝒖 ⋀ 𝒘)

P6: p Simpl. 2
P7: q Simpl. 2
P8: r MP 5, 6
P9: s MP 3, 7
P10: (r ^ s) Conjunción 8, 9
P11: ¬t MP 4, 10
P12: (w ^ u) MP 1, 11
P13: (u ^ w) Conmutativa 12

L.
𝑷𝟏: [ (𝒕 ⋀ 𝒓) ⇒ ¬𝒖]
𝑷𝟐 ∶ (𝒑 ⋁ 𝒕)
𝑷𝟑 ∶ (𝒒 ⋁ 𝒓)
𝑷𝟒: [(𝒘 ⋁ 𝒔) ⇒ ¬(𝒑 ⋁ 𝒒)]
𝑷𝟓: 𝒘
𝑪/: ¬𝒖

M.
𝑷𝟏: [ (¬𝒔 ⋀ ¬𝒔) ⋀ 𝒖]
𝑷𝟐 ∶ [(𝒑 ⋁ 𝒒) ⋀ 𝒓]
𝑷𝟑: [(𝒒 ⋁ 𝒑) ⇒ (𝒕 ⋁ 𝒔)]
𝑷𝟒: 𝒘
𝑷𝟓: (¬𝒓 ⋁ ¬𝒓)
𝑪/: (𝒕 ⋀ 𝒘)
N.
𝑷𝟏. (𝒓 ⋁¬𝒔)
𝑷𝟐. (𝒑 ⇒ ¬𝒒)
𝑷𝟑. (¬𝒘 ⇒ ¬𝒕)
𝑷𝟒. (¬𝒒 ⇒ ¬𝒘)
𝑷𝟓. [¬(𝒑 ⇒ ¬𝒕) ⋁ 𝒔]
𝑪/: (𝒓 ⋁ 𝒖)

O.

𝑷𝟏. (𝒔 ⇒ 𝒕)
𝑷𝟐. (𝒑 ⇒ ¬𝒕)
𝑷𝟑. (𝒒 ⋁ 𝒑)
𝑷𝟒. [(𝒒 ⋁ 𝒘) ⇒ (𝒓 ⋀ 𝒖)]
𝑷𝟓. (𝒓 ⇒ 𝒎)
𝑷𝟔. (𝒌 ⇒ ¬𝒖)
𝑷𝟕. 𝒔
𝑪/. (𝒎 ⋀ ¬𝒌)

P8: t MP 1, 7
P9: ¬p MT 2, 8
P10: q SD 3, 9
P11: