Marque a alternativa que contém um argumento válido. Escolha uma opção: a. p → q, ~p ⟝ ~q. b. p → q, q → r ⟝ r → p. c. p → q, ~r ⟝ p. d. p → q, q ...

A alternativa que contém um argumento válido é a letra A: p → q, ~p ⟹ ~q. Essa é uma forma válida do argumento modus tollens, que afirma que se uma proposição condicional é verdadeira e a proposição antecedente é falsa, então a proposição consequente também é falsa. Nesse caso, a proposição condicional é "p → q" e a proposição antecedente é "~p" (ou seja, "não p"). Portanto, a proposição consequente "~q" (ou seja, "não q") também é verdadeira.