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?