Considere p�, q� e r� proposições simples que compõem as seguintes premissas de um argumento: I. (∼p)→q(∼�)→� II. (∼q) Ú (∼�) Ú r� Uma conclusão ...

A conclusão que torna o argumento válido é a alternativa A: (∼r)→q(∼�)→�. Para entendermos o porquê, podemos utilizar as leis de inferência e equivalência lógica. A partir da premissa I, podemos utilizar a lei do contrarrecíproco para obter: q → p A partir da premissa II, podemos utilizar a lei da contrapositiva para obter: ∼r → p ∨ q Agora, podemos utilizar a lei da adição para adicionar ∼p à segunda premissa: ∼r → p ∨ q ∨ ∼p E, por fim, podemos utilizar a lei da contrapositiva novamente para obter a conclusão da alternativa A: (∼r)→q(∼�)→�