implicação logica

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.

Disciplina:Lógica Matemática e teoria dos conjuntos1.519 materiais