A Lógica Sentencial (ou Lógica Proposicional) e a Lógica de Primeira Ordem (ou Lógica Predicativa) são fundamentos essenciais da Matemática e da Filosofia, utilizados para estruturar argumentos e analisar a validade de proposições. Enquanto a Lógica Sentencial lida com proposições simples que podem ser verdadeiras ou falsas, conectadas por operadores lógicos, a Lógica de Primeira Ordem estende esse conceito ao permitir o uso de quantificadores, além de predicados que atribuem propriedades a objetos ou relacionam múltiplos objeto. Acerca dos princípios lógicos, analise as proposições abaixo:
- Todo candidato do concurso que estuda matemática também estuda lógica.
- Se um candidato não estuda lógica, então ele não participa do concurso.
- Existem candidatos que estudam lógica, mas não estudam matemática.

Com base nessas proposições, qual das seguintes alternativas é logicamente correta?