Logo Passei Direto
Buscar

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.

User badge image

Enviado por Flavio Henrique Costa Magalhaes há 12 anos

Respostas

User badge image

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.

Essa resposta te ajudou?

0
Dislike0

Ainda com dúvidas?

Envie uma pergunta e tenha sua dúvida de estudo respondida!