Sejam as proposições p e q onde p implica logicamente q. Diz-se de maneira equivalente ...

Gabarito: a)

Quando dizemos que a proposição p implica logicamente q, estamos afirmando que se p for verdadeira, então q também será verdadeira. Isso significa que p é uma condição suficiente para q, ou seja, a ocorrência de p é o bastante para garantir a ocorrência de q.

Portanto, a alternativa correta é "a) p é condição suficiente para q".