Enviado por Danton Brezzy • 8 de Diciembre de 2016 • Tarea • 354 Palabras (2 Páginas) • 186 Visitas
Página 1 de 2
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)
p∧q
r∧s
p
p v t
r
r v u __Ad._5__
7) (p v t ) ∧ ( rv u)___Conj.___6,4___
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]
Adición 6
[pic 3]
7. Demuestra “ r”
[pic 4][pic 5]
8. Demuestra “[pic 6]”
[pic 7][pic 8]
7. Demuestra “ r”
8. Demuestra “[pic 9]”
M.P.P 3 Y 4
S.H 1 y 3
[pic 10]
...
Descargar como (para miembros actualizados)txt (1 Kb)
pdf (190 Kb)
docx (197 Kb)