na implicação logica ( dilema construtico ) (p→q)^(r→s)^(pvq)⇒qvs o que esta depois do sinal de implicação entra na tabela tambem para podermos determinar se implica ou nao.
Alexandre Amaral
há 12 anos
(p→q)^(r→s)^(pvq)⇒qvs - o dilema construtivo está incorreto, o certo seria
(p→q)^(r→s)^(pvr)⇒qvs
e a pergunta seria "o que esta depois do sinal de implicação entra na tabela tambem para podermos determinar se implica ou nao ?" ???
se for essa a pergunta, a resposta mais apropriada seria sim.