Mostrar a validade de r v s, ~t -> ~p, r -> ~q |--- p ^ q -> s ^ t?

Question

Ainda não estou entendendo isso direito.

Vou copiar um exemplo do livro: Mostrar a validade do argumento:
r v s, ~t -> ~p, r -> ~q |--- p ^ q --> s ^ t


1) r v s
2) ~t -> ~p
3) r -> ~q
4) p /\ q
--------------------
5) q (4- simplificação).

Claro que ainda não se chegou a s ^ t, mas parei aí porque é onde fica a dúvida. No livro tem o "q" nesse 5) e ela é justificada pela regra de simplificação. Não poderia ser colocado "p" em vez de "q"? Ou tanto faz?

Answer 1

Vou responder aqui só para não ficar sem resposta...ma na moral ta muito dificil isso...de onde vc tirou isso kara...procura um professor sei lá...é muito dificil aqui algum saber ou vir responder uma coisa dessa...chega ta me dando dor de cabeça...

Answer 2

Se você colocar p em vez deq tavez a relação p^q deixe de existir, mas eu prefiro a,b,c,d,e,f,g,h,i...