Actividad Logica y la solución de problemas EAD
Danton BrezzyTarea8 de Diciembre de 2016
354 Palabras (2 Páginas)214 Visitas
Alumno: Víctor Esaú Méndez Reyes.
Actividad: Demostración de Argumentos
Materia: Lógica para la solución de problemas
Profesor: Ricardo Antonio.
A continuación se 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; 1,5 o 6).
Reactivo 1 Demostrar: (pvt) ∧ (rvu)
| Reactivo 2 Demostrar: q 1) (r ∨ q) 2) ~ r 3) q M.T.P_ _1,2_____ | Reactivo 3 Demostrar: q 1) (r ⊃ q) 2) r 3) q __M.P.P__ ______1,2__ |
Reactivo 4 Demostrar: (~q) 1) (q ⊃ r) 2) ~ r 3) ~ q _M.T.T____ ____1,2__ | Reactivo 5 Demostrar: r ⊃ m 1) (r ⊃ q) 2) (q ⊃m) 3) (r ⊃m) __S.H___ __1,2___ |
6. Demuestra “[pic 1]”[pic 2]
[pic 3] | 7. Demuestra “ r” [pic 4][pic 5] 8. Demuestra “[pic 6]” [pic 7][pic 8]
[pic 10] |
...