“Lógica para la solución de problemas.” “Demostraciones”

BACHILLERATO A DISTANCIA DEL ESTADO DE ZACATECAS

[pic 1]

“lógica para la solución de problemas.”

“Demostraciones”

ALUMNO (A): José Gilberto López castillo

ACESOR: Reyna Miranda Maya

Zacatecas, zacatecas   DE DEL 2021

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

...