A p, q, ~ p e r são premissas e ~ q → r é a conclusão.
B a forma simbólica do argumento é (p → q) → (~ p → r)(~ q → r).
C a validade do argumento é verificada por uma tabela-verdade com 16 linhas.
D a validade do argumento depende dos valores lógicos e do conteúdo das proposições usadas no argumento.
E o argumento é válido, porque a proposição [(p → q) ∧ (~ p → r)] → (~ q → r) é uma tautologia.