Bachillerato en línea Piaget

Materia: Lógica para la solución de

problemas

Actividad: Demostraciones

Profesor: Reyna Miranda Maya

Nombre del alumno(a): Alondra Cerino

García

Fecha:15/12/2023
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. P SIMP.3
5. q M.P.P 1,4
6. ~s SIMP 3
7. ~r M.T.T 2,6
8. q^~r CONJ. 5,7

Demostrar: q ∧ p

1. (~s ∧ ~ r)
2. (s ∨ q)
3. (r ∨ p)
4. ~s SIMP. 1
5. qMTP 2,4
6. ~r SIMP 1
7. p M.T.P 3,6
 8. q^p CONJ 5,7

Referencias:

(Incorporadas: Ingresar al sitio, s. f.)

https://bunam.unam.mx/incorporadas/moodle/pluginfile.php/1044/
mod_resource/content/147/lsp/unidad4/actividad2.html