Verificar a validade do argumento: p ∨ q, ~q, p → r ⊢ r.

Para verificar a validade do argumento, podemos utilizar o método da dedução natural. 1. p ∨ q (premissa) 2. ~q (premissa) 3. p → r (premissa) 4. ~q → ~p (contrapositiva da premissa 1) 5. ~p (modus ponens entre as premissas 2 e 4) 6. r (modus ponens entre as premissas 3 e 5) Portanto, concluímos que o argumento é válido e que a afirmação "r" é verdadeira.