Scribd
Cargar
48 vistas1 página

U4 Act 2 Demostraciones

Cargado por

Jakelin Vibal
Derechos de autor
© © All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como DOCX, PDF, TXT o lee en línea desde Scribd
48 vistas1 página

U4 Act 2 Demostraciones

Cargado por

Jakelin Vibal
Derechos de autor
© © All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como DOCX, PDF, TXT o lee en línea desde Scribd
Está en la página 1/ 1

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

También podría gustarte