Buscando La Regla Correcta
Enviado por adelahh12 • 21 de Enero de 2013 • 262 Palabras (2 Páginas) • 4.922 Visitas
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
...