Actividad 2. Demostraciones 

Rebeca Gutiérrez Moreno  

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. ~ sSIMP. 3  
9. r ^~ sCONJ. 6,7 

Demostrar: q ∧ p 

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