1- Demostrar ¬T

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)

1 (~P v Q) (R ^ S) PREMISA 1~S ~Q PREMISA

2R T PREMISA 2 ~(T ^ R) PREMISA
3~T PREMISA 3S (T ^ R) PREMISA
4~S PREMISA

DEMOSTRAR: ~ (S ^ ~ Q) DEMOSTRAR: U

1~T PREMISA 1P^T PREMISA

2~P ~S PREMISA 2P Q PREMISA
3~PvT PREMISA 3Q (R ^ S) PREMISA
4Q PREMISA 4 ~ R v (~ T v U) PREMISA

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