Cesar Iván Chable Galicia

Maestro: José Gerardo

Valero Cano
Unidad 4
Actividad 2 :
demostraciones
Una vez revisado y analizado el material en donde se exponen las reglas de
inferencia y de haber realizado los ejercicios que se presentan para comprender
su sentido, deberás aplicar estas reglas para demostrar la proposición que se
solicita.

Es muy importante que tengas claro cuál es tu objetivo; es decir, qué es lo que se
desea demostrar, y después de analizar bien las proposiciones dadas, a partir de
las cuales debes llegar a tu demostración, deberás aplicar las reglas de inferencia
que conocemos, señalando correctamente la regla que se está aplicando y en qué
renglones, tal y como se practicó.

Demostrar: q ∧ ~r

1. (p ᵙ q)
2. (r ᵙ s)
3. (p ∧ ~ s)
4. (q ᵙ s) SH 1,2
5. p Simp. 3
6. q M.P.P 1,4
7. r M.P.P 2
8. ~s Simp. 3
9. r ∧ ~s Conj. 6,7

  Demostrar: q ∧ p

1. (~s ∧ ~ r)
2. (s ∨ q)
3. (r ∨ p)
4. ~s Simp. 1
5. ~ r Simp. 1
6. s M.P.P 2
7. q M.P.P 2
8. (s ∧ q) Conj. 6,7