B@UNAM

Bachillerato a distancia B@GTO

BGTO1800092
ASESOR: Elvia del Carmen Ramos Dávila
ALUMNA: María Teresa Zavala Soto
MATERIA: Lógica para la Solución de Problemas
UNIDAD: 4 ACTIVIDAD: 2
FECHA: 10/10/19

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)

Demostrar: q ∧ p

1. (~s ∧ ~ r)
2. (s ∨ q)
3. (r ∨ p)

¿Para qué me sirve aprender las reglas de inferencia?

Como te señalamos desde el principio, el objetivo de enseñarte las reglas no es sólo que las
memorices, sino que las entiendas, y con ello seas capaz de identificar cuándo dichas estructuras
están presentes en tu vida diaria (al dialogar, al escuchar radio, ver televisión o cine, al leer el
periódico o un libro), y a su vez, para que seas capaz de usarlas en los contextos adecuados
(cuando argumentas o realizas un ensayo).
 Actividad 2. Demostraciones

Demostrar: q ∧ ~r

1. (p ᵙ q)
2. (r ᵙ s)
3. (p ∧ ~ s)
4. ( q ) SIM 3
5. ( q ) MPP 1,4
6. ( ~ s ) SIM 3
7. (~ r ) MTT 2,7
8. (q ^ ~ r ) CONJ. 5,7

Demostrar: q ∧ p

1. (~s ∧ ~ r)
2. (s ∨ q)
3. (r ∨ p)
4. ~s sim 1
5. ~ r sim 1
6. q MTP 2,4
7. p MTP 3,5
8. q ^ p CONJ 6,7