Sabendo-se que o símbolo ¬ denota negação e que o símbolo v

Gabarito: b) A fórmula A -> B, que se lê 'se A então B', é uma condicional na lógica proposicional.

Para reescrevê-la usando apenas negação (¬) e disjunção (v), devemos lembrar que a condicional A -> B é logicamente equivalente a ¬A v B. Isso significa que 'se A então B' é verdadeiro sempre que A é falso ou B é verdadeiro.

Assim, a alternativa correta é a que apresenta essa equivalência, ou seja, ¬A v B, que corresponde à letra b.

As outras alternativas não representam corretamente a equivalência da condicional. Por exemplo, A v B (letra a) não é equivalente a A -> B, pois pode ser verdadeiro em situações diferentes. Da mesma forma, as outras opções envolvem negações incorretas ou negações conjuntas que não correspondem à definição da condicional.

Portanto, a resposta correta é a letra b, conforme o gabarito oficial e a resposta mais comentada.