Questão
ID 67461Disciplina: Tecnologia da Informação
Assuntos: Características de BD Orientados a Objetos, Funções Agregadas (Group BY e Having)
Ano: 2025 Banca: PERFIL - ENADE Órgão: Quarto Simulado Pnd
Em uma disciplina de Lógica e Matemática Discreta para um curso de computação, o professor quer que seus alunos compreendam como a lógica de predicados de primeira ordem é mais expressiva do que a lógica proposicional. Ele explica: "A lógica proposicional trata de proposições inteiras (P, Q, R), mas não pode falar sobre as propriedades de objetos ou as relações entre eles. A lógica de predicados introduz predicados, variáveis e quantificadores (o quantificador universal 'para todo' - $\forall$, e o quantificador existencial 'existe' - $\exists$). Isso nos permite expressar sentenças como 'Todo aluno é inteligente' ou 'Existe um aluno que gosta de lógica'." Para a atividade prática, ele pede aos alunos para traduzirem sentenças em português para a linguagem da lógica de predicados. Ele define os seguintes predicados:
- `Aluno(x)`: x é um aluno. - `Disciplina(y)`: y é uma disciplina. - `GostaDe(x, y)`: x gosta de y.
A tarefa é traduzir a seguinte sentença complexa: **"Existe um aluno que gosta de todas as disciplinas."**
Qual das seguintes fórmulas da lógica de predicados representa corretamente a sentença dada?