Resposta correta: B) Válido quando a forma lógica faz com que, sempre que as hipóteses sejam verdadeiras, a conclusão também seja verdadeira (tautologia).
Justificativa: a validade depende da forma do argumento, não de casos isolados; uma demonstração válida corresponde a uma tautologia no formalismo lógico.
Resposta correta: C) ¬A ∨ B
Justificativa: a equivalência A → B é definida como ¬A ∨ B; isso permite transformar implicações em uma disjunção, útil para manipulações lógicas.
Resposta correta: B) Silogismo hipotético
Justificativa: do encadeamento P → Q e Q → R se deduz P → R, que é exatamente o silogismo hipotético.
Resposta correta: C) Aplicar Silogismo Hipotético duas vezes para obter A → D
Justificativa: a cadeia (A → B) ∧ (B → C) ∧ (C → D) permite, por silogismo hipotético, obter A → C e, em seguida, A → D.