Unidas 4

17_LSP_02_ Edith Estefanía Pérez Montes de Oca

Actividad 2. Demostraciones

Edith Estefanía Pérez Montes de Oca

Unidad 4. La lógica formal como un modelo para

saber cuándo se argumenta de manera correcta.

Asesor: José Humberto Morales Esparza

 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)

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 ∧ ~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

¿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).

Fuente:
http://www.bunam.unam.mx/convenios/moodle/pluginfile.php/529/mod_resource/content/103/asignatura/unidad1/acti
vidad2.html