Durante uma aula de lógica no curso de Introdução à Computação, o professor decide utilizar exemplos do dia a dia para explicar conceitos de lógica de predicados, facilitando a compreensão dos estudantes. O professor escolhe dois alunos populares entre seus exemplos: Laura e Carlos. Laura gosta de sorvete e Carlos gosta de torta? Marque a alternativa que indica corretamente a pergunta 'Será que Laura gosta de sorvete e Carlos gosta de torta?

Alternativa C

A questão aborda a tradução de uma sentença natural para a Lógica de Predicados, frequentemente utilizada em linguagens de programação lógica como Prolog. Para identificar a resposta correta, precisamos analisar três componentes fundamentais: a estrutura da consulta, a ordem dos argumentos e o conectivo lógico.

1. Estrutura de Consulta
A frase inicia com "Será que...", indicando que se trata de uma pergunta ou consulta ao sistema. Na sintaxe padrão de lógica computacional (como em Prolog), consultas são iniciadas pelo símbolo ? -. Isso elimina imediatamente as alternativas B e E, que colocam o ponto de interrogação no final ou fora do padrão.

2. Ordem dos Argumentos
O predicado utilizado é gosta. Em convenções lógicas, a ordem padrão é predicado(Individuo, Objeto).

• "Laura gosta de sorvete" \rightarrow gosta(laura, sorvete)
• "Carlos gosta de torta" \rightarrow gosta(carlos, torta)

A alternativa A inverteu essa ordem para gosta(sorvete, laura), o que mudaria o significado para "Sorvete gosta de Laura", tornando-a incorreta.

3. Conectivo Lógico
A frase utiliza a conjunção "e" para unir as duas partes da pergunta. Na lógica de predicados e na maioria das linguagens baseadas nela:

• O conectivo "e" (conjunção) é representado pela vírgula (,).
• O conectivo "ou" (disjunção) é representado pelo símbolo or ou ;.

A alternativa D utiliza a palavra "ou", o que contradiz o enunciado. A alternativa C utiliza a vírgula corretamente para representar o "e".

Resumo da Análise

A alternativa C é a única que combina corretamente o prefixo de consulta (? -), a ordem dos argumentos (pessoa, objeto) e o conectivo lógico adequado para "e" (vírgula).