Provar Premissas

[chgoudinho]

Boa Tarde, Pessoal. Estou com um trabalho de matematica estou com duvida no provar premissas. Alguem me ajuda?
Provar T'
1 p-> s
2 p.q
3 s.r-t'
4 q->r
=
Minha resposta
5 S2 p.q =>q
6 M.P 1 e 5 (p->s).p=>q
7 S2 p.q=>q
8 M.P. 4 e 7 (p->r).q=>r
9 U6e8 (p=>q).(q=>r)
10 M.P 3e9(q=>r).s.r-t'
c.q.d

Provar S
1 t->r
2 r’
3- t+s
=
Minha Resposta
4 MT 1e2 (t->r).r’
5 SD 3e4 (t+s).r’=>s
c.q.d

Prova T.S
1 e-s
2- t->j’
3- e.j

Provar t.s
1 p->q.r
2 p
3- t->q’
4 t+s

Prova x+y=5
1 .3x+y = 11<-> 3x=q
2 (3x=q->3x+y=11)<->y=2
3 y2 ou x+y=5

[nietzsche]

Olá chgoudinho,
O que você entende por:

"Provar T'
1 p-> s
2 p.q
3 s.r-t'
4 q->r"

?
Uma observação: pelo que lembro, premissas não se provam. O que se prova é a afirmação que se conclue a partir das premissas. Se puder esclarecer sua dúvida, quem sabe eu poderia ajudá-lo.

Abraço.