Buscando La Regla Correcta

Actividad: Buscando la regla correcta

Alumno: Adela Hernández Hernández

Unidad: 4 Tema: Método de Deducción Natural

Página 4 de 5

Asesor: José Humberto Morales Esparza

Instrucciones:

• A continuación se te ofrecen una serie de argumentos cuya demostración de validez está resuelta. Obsérvalos y escribe en el espacio amarillo la abreviatura de la regla que se aplicó (por ejemplo: SIMP CONJ MPP, etc.) y en el espacio azul escribe la o las líneas que se utilizaron para llegar a la conclusión, anótalas separadas por una coma (por ejemplo 3,4 6 1,5).

• Para elaborar esta actividad descarga el siguiente archivo y realiza el ejercicio que se te pide, posteriormente guarda el documento que elaboraste y adjunta el archivo para que le llegue al asesor y te retroalimente.

Buscando la regla correcta

Demostrar: (p ∧ q)

Premisas dadas

1) (a⊃ b)

2) (b ⊃ s)

3) [(a ⊃ s)] ⊃ [(p ∨ w) ∧ (~q ⊃ r)]

4) (~w ∧ ~r)

Colocar la regla aplicada Renglón de donde se obtiene la nueva premisa

5) [(p ∨ w) ∧ (~q ⊃ r)]

6) (p ∨ w)

7) ~w

8) p

9) (~q ⊃ r)

10) ~r

11) q

12) (p ∧ q)

SIMP

SIMP

SIMP

MTP

SIMP

SIMP

MTT

CONJ 3

5

4

6,7

5

4

9,10

8,11

Demostrar: [(p ⊃ s) ∧ (s⊃ q)]

Premisas dadas

1) [(p ⊃r) ∧ (r ⊃ s)] ∧ [(s ⊃ w) ∧ (w ⊃q)]

Colocar la regla aplicada Renglón de donde se obtiene la nueva premisa

2) (p ⊃r) ∧ (r ⊃ s)

3) (p ⊃r)

4) (r ⊃ s)

5) (p ⊃ s)

6) (s ⊃ w) ∧ (w ⊃q)

7) (s ⊃ w)

8) (w ⊃q)

9) (s ⊃ q)

10) [(p ⊃s) ∧ (s ⊃ q)]

SIMP

SIMP

SIMP

SH

SIMP

SIMP

SIMP

SH

CONJ

...