Actividad 2.

Demostraciones
Bachillerato a Distancia del Estado de Mxico
Modulo II
Asignatura: Lgica para la Solucin de Problemas.
Nombre: Cynthia Jessica Morales Romero.
Grupo: 11416
Asesor: Daniel Ferrer Vega.
Fecha:26 OCT 16
Referencias: Plataforma udemex.edomex.gob.mx consultado: 26 -Oct -16

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, debers
aplicar estas reglas para demostrar la proposicin que se solicita.
Es muy importante que tengas claro cul es tu objetivo; es decir, qu es lo que se desea
demostrar, y despus de analizar bien las proposiciones dadas, a partir de las cuales
debes llegar a tu demostracin, debers aplicar las reglas de inferencia que conocemos,
sealando 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.

6. q

M.P.P

1,4

7.

M.P.P

8.

~s Simp.

9. r ~s Conj.
Demostrar: q p
1. (~s ~ r)
2. (s q)

3
6,7

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