TALLER 2 LOGICA JURIDICA
Enviado por Hary Sánchez • 12 de Marzo de 2021 • Ensayo • 1.982 Palabras (8 Páginas) • 272 Visitas
TALLER 2 LOGICA JURIDICA.
Hary Natalia Sanchez Torres 2116898
Jose Luis Maldonado Medina 2116888
Página 51, ejercicio 3 A.
- En cada uno de los ejercicios siguientes, se ha de demostrar que una proposición es consecuencia lógica de las premisas dadas. Deducir la conclusión, escribiendo la abreviatura que corresponde a la regla que permite obtener cada línea deducida anteriormente, indicar el número de cada línea que ha sido utilizada para aplicar la regla.
- Demostrar ~T
1.R → ~T P
2.S → R P
3.S P
4.R (P.P. 1,3)
5.~T (P.P 2,4)
- Demostrar G
1.~H → ~ J P
2.~H P
3.~J → G P
4.~J (PP 1,3)
5. G (PP 2,4)
- Demostrar C
1.A→ B & D P
2.B & D → C P
3.A P
4.B &D ( P.P. 1,3)
5 C (P.P 2,4)
- Demostra M V N
1.~J→ M V N P
2.F V G → ~ J P
3.F V G P
4. ~J (P.P 2,3)
5. M V N (PP 1,4)
- Demostrar ~S
1.T P
2.T → ~Q P
3.~Q → ~S P
4.~Q (P.P 1,2)
5~S (P.P 3,4)
Pagina 54, ejercicio 4D
Demostrar que las conclusiones son consecuencias lógicas de las premisas dadas en cada uno de los ejemplos que siguen. dar la demostración completa como en los ejemplos anteriores; es decir, se ha de numerar cada línea, indicar la abreviatura de la regla usada , y los números de las líneas de las que se ha deducido cada línea en la demostración
...