Documentos de Académico
Documentos de Profesional
Documentos de Cultura
1 r->~T P
2 S→ R p
3s P
4r MPP 2,3
5 ¬T MPP 1,4
2- Demostrar G
1 ¬H → ¬J p
2 ¬H p
3 ¬J → G p
4 ¬J MPP 1,2
5G MPP3,4
3- Demostrar C
1 A → B^D P
2 B^D→C P
3
4
5
DEMOSTRAR: P DEMOSTRAR: ~ (S v ~ Q)
DEMOSTRAR: ~ (S ^ ~ Q) DEMOSTRAR: U
DEMOSTRAR: R ~Q DEMOSTRAR: ~ T
1 ~(R ^ S) 1 P ~Q PREMISA
2~S ~Q 2Qv~R PREMISA
3P^S PREMISA
4T (R ^ S) PREMISA