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

Este exercício aborda a Lógica de Programação, focando na representação simbólica de sentenças em linguagens como Prolog, comum em cursos de Introdução à Computação.

Para traduzir a frase "Será que Laura gosta de sorvete e Carlos gosta de torta?", devemos analisar três elementos fundamentais da sintaxe:

• Predicado e Argumentos: A função gosta relaciona quem gosta (sujeito) ao que é gostado (objeto). A ordem padrão é gosta(Sujeito, Objeto).
• Correto: gosta(laura, sorvete)
• Incorreto: gosta(sorvete, laura) (Inverte a lógica).
• Conectivo Lógico: Na linguagem Prolog, a conjunção "e" é representada por uma vírgula ,. Isso significa que ambas as condições devem ser verdadeiras simultaneamente.
• Indicador de Consulta: Perguntas ou consultas são iniciadas pelo símbolo ? -.

Análise Detalhada das Opções:

Portanto, a alternativa C é a única que respeita a sintaxe formal de lógica de predicados aplicada à computação, indicando corretamente a consulta sobre as preferências de Laura e Carlos.