Questão FC509474
Existem conceitos distintos entre a Lógica Proposicional e a Lógica de Primeira Ordem. Analise as afirmativas abaixo e assinale a alternativa correta.
Lógica de Primeira Ordem
IBFC · 2024
Existem conceitos distintos entre a Lógica Proposicional e a Lógica de Primeira Ordem. Analise as afirmativas abaixo e assinale a alternativa correta.
- Ambas lidam com sentenças simples, mas a Lógica de Primeira Ordem permite conectivos lógicos
- Ambas lidam com sentenças simples, mas a Lógica Proposicional permite quantificadores
- Ambas lidam com sentenças compostas, mas a Lógica de Primeira Ordem permite quantificadores
- Tanto a Lógica Proposicional como a Lógica de Primeira Ordem não lidam com quantificadores
- Tanto a Lógica Proposicional como a Lógica de Primeira Ordem lidam com quantificadores
Mostrar resposta e comentário
Gabarito
Certo
Comentário do professor
A alternativa está correta porque tanto a Lógica Proposicional quanto a Lógica de Primeira Ordem trabalham com sentenças compostas formadas por conectivos lógicos como e, ou, não e implica.
A diferença essencial é que a Lógica de Primeira Ordem introduz predicados, variáveis e quantificadores, permitindo falar da estrutura interna das sentenças e de indivíduos em um domínio. Os quantificadores principais são o universal \( \forall \) e o existencial \( \exists \).
Exemplo didático: "Todos os homens são mortais" se expressa em primeira ordem como \( \forall x\, (Homem(x) \rightarrow Mortal(x)) \). Esse tipo de afirmação não pode ser formalizada na lógica proposicional, que trata apenas de proposições atômicas como blocos indivisíveis.
Conteúdo do catálogo FC Concursos · Atualizado em