7)

Ejercicios de ló gica –1. 𝑝 ∧ 𝑚

⊢ 𝑚 ∧ 𝑝
proposicional 8)
–1. (𝑝 ∧ 𝑡) ∧ 𝑠
⊢ (𝑠 ∧ 𝑡) ∨ 𝑝
I. Realizar las derivaciones con reglas básicas. 9)
–1. ¬𝑝 ∧ 𝑡
1) –2. 𝑚
–1. 𝑝 ∧ (𝑟 ∧ 𝑠) ⊢ ¬𝑝 ∧ 𝑚
–2. 𝑡 10)
⊢ 𝑠 ∧ 𝑡 –1. (𝑚 → 𝑡) ∧ (𝑟 ↔ 𝑞)
2) –2. (𝑠 ∨ 𝑧) ∧ (𝑏 → 𝑡)
–1. 𝑞 ∧ 𝑟 ⊢ (𝑚 → 𝑡) ∧ (𝑏 → 𝑡)
–2. 𝑠 ∧ 𝑡 11)
⊢ 𝑟 ∧ 𝑠 –1. (𝑚 ∨ 𝑠) ∧ (𝑡 ∨ 𝑤)
3) –2. (𝑝 → 𝑞) ∧ (𝑟 → 𝑡)
–1. 𝑝 ∧ 𝑞 ⊢ (𝑚 ∨ 𝑠) ∧ (𝑟 → 𝑡)
–2. 𝑟 ∧ 𝑠 12)
⊢ 𝑞 ∧ 𝑠 –1. (¬𝑚 ∨ 𝑠) ∧ (𝑡 → 𝑞)
4) –2. 𝑠 ∨ (𝑝 → 𝑡)
–1. 𝑝 ∧ 𝑞 ⊢ (𝑡 → 𝑞) ∨ E𝑠 ∨ (𝑝 → 𝑡)F
⊢ 𝑝 13)
5) –1. E(𝑝 → 𝑟) → 𝑞F ∧ E(𝑝 → 𝑜) ↔ (𝑛 ∨ 𝑚)F
–1. 𝑟 ∧ (𝑡 → 𝑠) ⊢ E(𝑝 → 𝑟) → 𝑞F
⊢ 𝑡 → 𝑠 14)
6) –1. ¬(𝑚 ∧ 𝑡) ∧ (𝑎 → 𝑏)
–1. (𝑝 ∧ 𝑟) ∧ 𝑠 –2. ¬(𝑝 → 𝑞) ∧ 𝑠
–2. (𝑚 ∧ 𝑡) ∧ 𝑞 ⊢ ¬(𝑚 ∧ 𝑡) ∧ ¬(𝑝 → 𝑞)
⊢ (𝑝 ∧ 𝑚) ∧ (𝑟 ∧ 𝑞)


Alfonso Cabanzo

15) 24)
–1. 𝑝 ∧ 𝑞 –1. 𝑑 → 𝑒
⊢ 𝑝 ∨ 𝑟 ⊢ (𝑑 → 𝑒) ∨ (𝑒 → 𝑑)
16) 25)
–1. 𝑠 ∧ 𝑡 –1. 𝑝 ∨ 𝑞 → 𝑟 ∧ 𝑠
⊢ 𝑠 ∨ 𝑡 –2. 𝑡 ∧ 𝑝
17) ⊢ 𝑟 ∨ 𝑠
–1. (𝑝 ∧ 𝑞) ∨ 𝑟 26)
⊢ 𝑝 ∨ 𝑟 –1. 𝑝 ∨ 𝑟 → 𝑠 ∧ 𝑘
18) –2. 𝑚 ∧ 𝑝
–1. (𝑝 → 𝑞) ∧ (𝑟 → 𝑠) ⊢ 𝑠 ∨ 𝑘
⊢ (𝑝 → 𝑞) ∨ (𝑟 → 𝑠) 27)
19) –1. 𝑎 → 𝑏
–1. 𝑝 –2. 𝑚 ∧ 𝑎
⊢ 𝑝 ∨ E𝑟 → (𝑠 → 𝑡)F –3. 𝑚 ∧ 𝑏 → 𝑠
20) ⊢ 𝑠 ∨ (𝑞 ↔ 𝑟)
–1. (𝑝 ∨ 𝑟 → 𝑡) ∧ (𝑡 → 𝑠) 28)
⊢ (𝑡 → 𝑠) ∨ (𝑝 ∧ 𝑟 ↔ 𝑡) –1. 𝑝 ∧ 𝑞
21) –2. 𝑞 → 𝑟
–1. (𝑎 ∧ 𝑏 ) ∧ (𝑐 ∧ 𝑑) –3. 𝑟 ∨ 𝑡 → 𝑠
–2. (𝑒 → 𝑓) ∧ (𝑔 ↔ ℎ) –4. 𝑠 ∨ 𝑡 → 𝑢
⊢ E(𝑎 ∧ 𝑐) ∧ (𝑒 → 𝑓)F ∨ (𝑘 ∨ 𝑧) ⊢ 𝑢 ∨ (𝑤 ∨ 𝑥)
22) 29)
–1. E(𝑖 → 𝑗) ∨ (𝑘 → 𝑙)F ∨ E(𝑚 ∨ 𝑠) ∧ (𝑡 ∨ 𝑤)F –1. 𝑝 ∧ 𝑞
–2. 𝑟 ∧ 𝑠
⊢ E(𝑘 → 𝑙) ∨ (𝑡 ∨ 𝑤)F ∨ (𝑥 ∧ 𝑧 → 𝑎)
–3. (𝑞 ∧ 𝑠) ∨ 𝑡 → 𝑢 ∧ 𝑟
23) –4. 𝑢 ∨ 𝑣 → 𝑤
–1. (𝑝 ∨ 𝑞) ∨ 𝑟
⊢ 𝑤 ∧ E𝑝 ∨ (𝑞 ↔ 𝑟)F
–2. 𝑠 → 𝑡

⊢ YE(𝑝 ∨ 𝑞) ∨ 𝑟F ∧ (𝑠 → 𝑡)Z ∨ E(𝑝 ∧ 𝑞) ∧ 𝑡F

2

Alfonso Cabanzo

30) 37)
–1. 𝑚 ∧ 𝑠 ⊢ 𝑝 ∧ 𝑞 → 𝑝
–2. 𝑚 ∨ 𝑡 → 𝑟 38)
–3. 𝑟 ∨ (𝑛 ∧ 𝑝) → 𝑢 ∧ 𝑟 –1. (𝑚 → 𝑠) → 𝑡
–4. 𝑢 ∨ 𝑣 → 𝑞 –2. 𝑠 ∧ 𝑟
⊢ 𝑞 ∨ (𝑧 ↔ ℎ) ⊢ 𝑡 ∧ 𝑠
31) 39)
–1. (𝑝 ∧ 𝑞) ∧ (𝑟 ∨ 𝑠) –1. 𝑠 ∧ 𝑡 → 𝑚
–2. 𝑝 ∨ 𝑡 → 𝑠 –2. 𝑚 ∨ 𝑠 → ℎ
–3. 𝑟 ∨ 𝑠 → 𝑢 ⊢ 𝑠 ∧ 𝑡 → ℎ
⊢ (𝑠 ∧ 𝑢) ∨ (𝑤 ↔ 𝑧) 40)
32) –1. 𝑚 ∧ (𝑡 ∨ ℎ) → 𝑠
–1. 𝑝 → ¬𝑞 ⊢ 𝑚 → E𝑡 → (𝑠 ∨ 𝑤)F
–2. ¬𝑞 ∨ 𝑚 → 𝑡 41)
–3. ¬𝑚 ∧ 𝑝 −1. 𝑚 ∧ (𝑡 ∧ 𝑠) → 𝑘
⊢ 𝑡 ∧ ¬𝑚 ⊢ 𝑚 → E𝑡 → (𝑠 → 𝑘 ∨ 𝑧)F
33) 42)
–1. 𝑐 → ℎ –1. E𝑜 → (ℎ → 𝑘)F → 𝑗 ∧ 𝑠
–2. ℎ ∨ 𝑡 → 𝑧
–2. 𝑜 ∧ ℎ → 𝑘
–3. 𝑐
⊢ 𝑡 → 𝑗 ∧ 𝑠
⊢ 𝑧 ∨ (𝑚 ∧ 𝑔)
43)
34)
⊢ (𝑎 → 𝑏) → E(𝑏 → 𝑐) → (𝑎 → 𝑐)F
–1. 𝑚 ∨ 𝑠 → 𝑡 ∧ 𝑞
–2. 𝑡 ∨ 𝑟 → 𝑠 ∧ 𝑗 44)
–3. 𝑠 ∨ 𝑤 → 𝑘 ∧ 𝑙 –1. ℎ → (𝑗 → 𝑘)
–4. 𝑚 ∧ (𝑝 → 𝑞) ⊢ ℎ ∧ 𝑗 → 𝑘 ∨ (𝑝 ↔ 𝑟)
⊢ 𝑘 ∨ (𝑧 ↔ 𝑤) 45)
35) –1. 𝑝 → 𝑠
–1. 𝑝 ∧ 𝑞 –2. 𝑠 ∨ 𝑡 → 𝑘
⊢ 𝑟 → 𝑞 ∨ 𝑠 ¬¬𝑝 → 𝑘 ∨ 𝑗
36)
⊢ 𝑝 → 𝑝 ∨ 𝑞

3

Alfonso Cabanzo

46) –1. ¬¬(¬¬𝑝 ∧ ¬¬𝑠)

–1. ¬¬(𝑘 ∧ 𝑡) –2. 𝑝 ∧ 𝑠 → 𝑡
–2. 𝑘 → 𝑠 ⊢ 𝑟 → 𝑡 ∨ 𝑘
–3. 𝑠 ∧ 𝑞 → 𝑤
⊢ 𝑞 → 𝑤 ∧ 𝑡
47) 54)
–1. ¬𝑝 ∧ ¬¬𝑞 –1. 𝑝 ∧ ¬¬𝑡
–2. 𝑞 ∧ 𝑠 → 𝑡 –2. 𝑡 ∨ 𝑠 → 𝑟
–3. (𝑤 → 𝑡) → 𝑚 –3. 𝑟 ∧ 𝑤 → 𝑚 ∧ 𝑘
⊢ 𝑠 → 𝑚 ⊢ ¬¬𝑤 → 𝑘 ∨ 𝑧
48)
–1. ¬¬E𝑡 ∧ (𝑠 → 𝑡)F 55)
–2. E(𝑠 → 𝑡) ∧ 𝑚F → 𝑘 –1. 𝑝 ∧ ¬¬𝑚
⊢ 𝑚 → (𝑗 → 𝑘) –2. ¬𝑚 ∧ 𝑗
49) ⊢ ¬𝑝
–1. 𝑡 ∧ 𝑚 → 𝑗 ∨ 𝑧 56)
–2. ¬¬𝑚 ∧ 𝑠 –1. (𝑗 → 𝑘) → 𝑡
⊢ 𝑡 → (𝑗 ∨ 𝑧) ∨ (𝑏 ∧ 𝑐) –2. ¬¬𝑘 ∧ 𝑠
50) –3. ¬(𝑡 ∨ ℎ)
–1. ¬¬(𝑠 ∧ 𝑝) ∧ ¬¬(𝑧 ∧ 𝑦) ⊢ ¬(𝑠 ∧ 𝑚)
–2. (𝑠 ∧ 𝑧) ∧ (𝑘 ∨ 𝑘) → 𝑎 ∨ 𝑤 57)
⊢ (𝑘 ∨ 𝑘) → 𝑎 ∨ 𝑤 –1. 𝑏 ∧ 𝑚 → 𝑗
51) –2. ¬(𝑗 ∨ 𝑠)
–1. ¬¬¬𝑝 ∧ (𝑠 ∨ 𝑎) ⊢ ¬𝑏 ∨ ¬𝑚
–2. ¬𝑝 ∧ 𝑡 → 𝑤 58)
⊢ 𝑡 → (𝑧 → 𝑤 ∧ ¬𝑝) –1. 𝑝 ∧ ¬¬𝑚
52) –2. ¬𝑚 ∧ 𝑗
–1. 𝑝 ∧ 𝑞 ∧ 𝑟 ∧ 𝑠 → 𝑡 ⊢ ¬𝑝

⊢ ¬¬𝑝 → Y¬¬𝑞
→ E¬¬𝑟 → (¬¬𝑠 → ¬¬𝑡)FZ
53)

4

Alfonso Cabanzo

59) 66)
–1. (𝑗 → 𝑘) → 𝑡 –1. 𝑒 ∧ 𝑟
–2. ¬¬𝑘 ∧ 𝑠 –2. 𝑟 → 𝑠
–3. ¬(𝑡 ∨ ℎ) –3. 𝑠 → ¬𝑒
⊢ ¬(𝑠 ∧ 𝑚) ⊢ 𝑝 → (𝑟 → ¬𝑞)
60) 67)
–1. 𝑏 ∧ 𝑚 → 𝑗 –1. 𝑓 ∧ 𝑔
–2. ¬¬(¬𝑗 ∧ 𝑠) –2. 𝑔 → 𝑡
⊢ ¬(𝑏 ∧ 𝑚) –3. ¬(𝑡 ∨ 𝑓)
61) ⊢ 𝑤 ∨ 𝑘
–1. ¬(𝑝 ∧ 𝑟) → 𝑧 ∧ 𝑘 68)
–2. 𝑘 ∨ 𝑚 → 𝑘 –1. (𝑝 ∧ 𝑞) ∨ (𝑟 ∧ 𝑞)
–3. ¬¬(𝑛 ∧ ¬¬𝑤) ⊢ 𝑞
⊢ 𝑝 ∧ 𝑟 69)
62) –1. (𝑚 ∧ 𝑠) ∨ (𝑡 ∧ 𝑠)
–1. ¬(ℎ → 𝑖) –2. (𝑚 → 𝑠) → 𝑟
–2. 𝑚 ∧ 𝑗 → 𝑘 –3. 𝑟 ∨ 𝑞 → 𝑤
–3. 𝑖 ∧ 𝑚 ⊢ 𝑤
⊢ ¬(𝑚 ∧ 𝑗) 70)
63) –1. 𝑝 → 𝑟 ∨ 𝑠
–1. 𝑝 ∧ ¬𝑚 –2. 𝑞 ∧ 𝑝
⊢ ¬(𝑝 → 𝑚) –3. 𝑟 → 𝑠
64) ⊢ 𝑠 ∨ 𝑤
–1. (𝑝 ∧ 𝑞) ∨ (𝑟 ∧ 𝑏) 71)
–2. ¬𝑝 –1. 𝑏 ∧ 𝑠
⊢ 𝑟 ∨ (𝑠 → 𝑡) –2. 𝑡 → ¬𝑟
65) –3. ¬𝑟 → ¬¬(𝑝 ∧ 𝑠)
–1. 𝑏 ∨ 𝑑 ⊢ 𝑚 ∨ 𝑡 → 𝑠
⊢ ¬𝑏 ∧ 𝑚 → 𝑑 ∨ 𝑗 72)
–1. 𝑝 → 𝑡 ∧ 𝑟
–2. ¬𝑟 ∨ ¬𝑡
⊢ ¬𝑝

5

Alfonso Cabanzo

73) 80)
–1. (𝑡 ∧ 𝑚) ∨ (𝑝 → 𝑞) ⊢ 𝑠 ↔ 𝑠
–2. 𝑝 81)
–3. 𝑚 → 𝑟 –1. 𝑝 ↔ 𝑚
–4. 𝑟 ∨ 𝑡 → 𝑤 –2. 𝑚 ↔ 𝑠
⊢ 𝑞 ∨ 𝑤 ⊢ 𝑝 ↔ 𝑠
82)
74) –1. 𝑡 ∧ 𝑚 ↔ 𝑠 ∨ 𝑡
⊢ 𝑝 ∨ 𝑞 → E(𝑝 → 𝑟) → (𝑞 → 𝑠) → (𝑟 ∨ 𝑠)F –2. ¬𝑠 ∧ ¬𝑡
75) ⊢ ¬𝑡 ∨ ¬𝑚
–1. 𝑡 ∨ 𝑢 83)
–2. 𝑡 ∨ 𝑟 → 𝑝 –1. ¬(𝑟 ↔ 𝑡)
–3. 𝑚 → 𝑝 –2. 𝑟 → 𝑡
–4. 𝑚 ∨ 𝑘 ⊢ 𝑡 ∧ ¬𝑟
–5. 𝑘 → 84)
⊢ 𝑥 → 𝑝 –1. 𝑝 ∨ 𝑟 ↔ 𝑤
76) –2. 𝑤
–1. p ∧ (𝑞 ∨ 𝑟) ⊢ ¬𝑝 → 𝑚
⊢ (𝑝 ∧ 𝑞) ∨ (𝑝 ∧ 𝑟) 85)
77) –1. (𝑝 → 𝑞) ↔ (𝑤 ∨ 𝑡)
–1. 𝑝 ∨ (𝑞 ∨ 𝑟) –2. 𝑞
⊢ (𝑝 ∨ 𝑞) ∨ 𝑟 –3. (𝑤 → 𝑟) ∧ (𝑡 → 𝑘)
78) ⊢ 𝑟 ∨ 𝑘
–1. 𝑡 → 𝑢 86)
–2. 𝑢 → 𝑡 –1. (𝑘 → ¬𝑘) → (𝑚 ∨ 𝑤)
⊢ 𝑡 ↔ 𝑢 –2. ¬(𝑧 ∨ ℎ)
79) –3. 𝑔 ∧ ℎ
–1. 𝑚 ↔ 𝑛 –4. 𝑚 → 𝑠
–2. 𝑛 –5. 𝑤 → (𝑥 ∨ 𝑧)
–3. 𝑝 → ¬𝑛 ⊢ 𝑠 ∨ (𝑥 ∨ 𝑧)
⊢ ¬𝑝 ∨ 𝑡 87)
⊢ 𝑚 ∨ 𝑛 ↔ ¬(¬𝑚 ∧ ¬𝑛)

6

Alfonso Cabanzo

88) 100)
⊢ (𝑚 ∧ 𝑡 → 𝑗) ↔ E𝑚 → (𝑡 → 𝑗)F ⊢ (𝑝 ↔ 𝑞) ↔ ¬E¬(¬𝑝 ∨ 𝑞) ∨ ¬(¬𝑞 ∨ 𝑞)F
89)
⊢ (𝑘 ∨ 𝑠) ↔ (¬𝑘 → 𝑠)
90)
–1. 𝑎 → (¬𝑐 → ¬𝑏)
–2. 𝑐 → 𝑑 ∧ 𝑒
⊢ 𝑎 → (𝑏 → 𝑑)
91)
–1. 𝑓 ∧ ¬𝑔 → ¬𝑔 ∧ ¬ℎ
–2. ℎ → ¬𝑓
⊢ 𝑓 → 𝑔
92)
–1. (𝑝 → 𝑞) ∧ 𝑟
–2. (𝑡 → 𝑠) ∧ 𝑝
–3. 𝑔 ∨ ℎ
⊢ 𝑟 ∧ (𝑡 → 𝑠)
93)

⊢ (𝑝 → 𝑞) ↔ (¬𝑝 ∨ 𝑞)
94)
⊢ (𝑠 → 𝑟) ↔ ¬(𝑠 ∧ ¬𝑟)
95)
⊢ ¬(𝑝 ↔ 𝑞) ↔ (𝑝 ∧ ¬𝑞) ∨ (𝑞 ∧ ¬𝑝)
96)
⊢ ¬(𝑝 → 𝑞) ↔ (𝑝 ∧ ¬𝑞)
97)
⊢ (𝑠 ∧ 𝑡) ↔ ¬(¬𝑠 ∨ ¬𝑡)
98)
⊢ 𝑝 → (¬𝑝 → 𝑞)
99)
⊢ (¬𝑝 → 𝑝) → 𝑝