Para que o argumento seja válido, a conclusão deve ser: "~~~~ → ~~~~". A conclusão deve ser a negação da premissa 2, que é "(~q) ∪ r". A negação dessa premissa é "~~(~q) ∪ r", que é equivalente a "(~(~q)) → r" ou "q → r". Então, a conclusão deve ser "(~p) → (q → r)", que pode ser reescrita como "~~~~ → ~~~~".
Para escrever sua resposta aqui, entre ou crie uma conta
Compartilhar