Para identificar qual alternativa contém um sofisma, precisamos analisar cada uma delas: a) p → q, ~p |— ~q. - Isso é uma falácia conhecida como "negação do antecedente". É um sofisma. b) p ∨ q, ~q |— p. - Isso é um exemplo válido de raciocínio (modus tollens). c) p → q, q → r |— p → r. - Isso é uma regra válida de inferência (transitividade). d) p → q, p |— q. - Isso é uma regra válida de inferência (modus ponens). e) p → q, ~q |— ~p. - Isso é uma regra válida de inferência (modus tollens). Portanto, a alternativa que contém um sofisma é a) p → q, ~p |— ~q.