04. Sejam as proposições p e q onde p implica logicamente q� Diz-se de maneira equivalente que: a) p é condição suficiente para q� b) q é condiçã...

A resposta correta é a letra c) p é condição necessária para q. Quando dizemos que p implica logicamente q, significa que se p é verdadeiro, então q também é verdadeiro. Portanto, a verdade de q depende da verdade de p, ou seja, p é uma condição necessária para q. A letra a) está incorreta, pois p ser condição suficiente para q significa que se p é verdadeiro, então q também é verdadeiro, mas q também pode ser verdadeiro mesmo que p seja falso. A letra b) está incorreta, pois q ser condição suficiente para p significa que se q é verdadeiro, então p também é verdadeiro, mas p também pode ser verdadeiro mesmo que q seja falso. A letra d) está incorreta, pois p ser condição necessária e suficiente para q significa que p é verdadeiro se e somente se q é verdadeiro, o que não é o caso apresentado na questão. A letra e) está incorreta, pois q é uma condição necessária para p, já que se q é falso, então p também é falso.