No argumento: “Se estudo, passo no concurso. Se não estudo, trabalho. Logo, se não passo no concurso, trabalho”, considere as proposições:
É verdade que
- 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.