Durante uma aula de lógica no curso de Introdução à Computaçã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

Esta questão aborda a sintaxe básica da Lógica de Programação, especificamente o estilo utilizado em linguagens como Prolog. Para responder corretamente, é necessário entender como se representa uma consulta (query) e os conectivos lógicos nesse contexto.

Análise Detalhada

Para transformar a frase "Será que Laura gosta de sorvete e Carlos gosta de torta?" em lógica formal computacional, devemos analisar três elementos principais:

• Indicador de Consulta (?-): Em linguagens de lógica como Prolog, a interrogação inicial (?-) indica que estamos fazendo uma pergunta ao sistema para verificar se algo é verdadeiro. Isso elimina as alternativas que não possuem esse prefixo.
• Estrutura do Predicado: A convenção padrão para relações binárias é Predicado(Sujeito, Objeto). Portanto, gosta(laura, sorvete) significa "Laura gosta de sorvete", mantendo a ordem natural do sujeito antes do objeto.
• Conectivo Lógico (E): No Prolog, a conjunção lógica "E" é representada por uma vírgula (,), não pela palavra escrita "e" ou "ou". Isso permite que o sistema verifique múltiplas condições simultaneamente.

Vamos comparar as opções com base nessas regras:

Conclusão

A alternativa C é a única que segue rigorosamente a sintaxe de programação lógica para formular uma consulta composta por duas condições unidas por uma conjunção.