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. 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 representação de sentenças lógicas utilizando a sintaxe típica da Lógica de Predicados, frequentemente aplicada na linguagem de programação lógica Prolog. Para resolver, é necessário identificar os componentes básicos de uma consulta (query) nesse contexto.

Análise da Alternativa Correta

A alternativa C é a correta porque respeita as convenções fundamentais da lógica computacional para representar perguntas sobre fatos e regras. Vamos decompor a estrutura:

• Indicador de Consulta (? -): Em ambientes como o Prolog, uma pergunta ou busca por um fato começa com o símbolo ?- (ou ? - com espaço). Isso sinaliza ao sistema que queremos verificar se a sentença a seguir é verdadeira.
• Ordem dos Argumentos: O predicado gosta(Sujeito, Objeto) segue a ordem natural da frase: quem pratica a ação primeiro, seguido do objeto.
• "Laura gosta de sorvete" \rightarrow gosta(laura, sorvete)
• "Carlos gosta de torta" \rightarrow gosta(carlos, torta)
• Operador de Conjunção (E): Na lógica computacional (especificamente Prolog), a conjunção lógica "e" é representada por uma vírgula ,. Quando temos duas metas separadas por vírgula, ambas devem ser verdadeiras para a consulta retornar sucesso.

Assim, a estrutura completa fica:
?\text{-} \quad \text{gosta(laura, sorvete)}, \quad \text{gosta(carlos, torta)}

Por que as outras alternativas estão incorretas?

Conclusão:

A alternativa C traduz corretamente a intenção do professor, mantendo a ordem sujeito-objeto no predicado, usando o operador de vírgula para "e" e iniciando a expressão com o indicador de consulta adequado.