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

Análise da Questão

Esta questão aborda a Lógica de Predicados, especificamente a sua aplicação em computação (muitas vezes associada à linguagem Prolog). Para resolver, precisamos entender a sintaxe utilizada para formular perguntas (queries) a um sistema lógico.

1. Estrutura da Consulta (?-)

Em ambientes de programação lógica, o símbolo ?- é utilizado para indicar uma interrogação ou uma consulta ao banco de fatos e regras. Ele sinaliza que o sistema deve verificar se a afirmação subsequente é verdadeira.

• As alternativas B e E não iniciam com este indicador de consulta.
• As alternativas A, C e D utilizam corretamente o prefixo ?-.

2. O Conectivo Lógico "E"

O enunciado pede para traduzir a conjunção "e" (entre "Laura gosta de sorvete" e "Carlos gosta de torta").

• Na lógica matemática formal, usamos o símbolo \land.
• Na sintaxe de Prolog (padrão em cursos de introdução à computação), a vírgula , funciona como o operador lógico de E (conjunção).
• Usar a palavra escrita "e" (alternativa A) ou "ou" (alternativa D) é incorreto na sintaxe formal de programação lógica.

3. Sintaxe do Predicado

Um predicado segue geralmente a forma NomePredicado(Argumento1, Argumento2).

• No contexto "Laura gosta de sorvete", a interpretação mais direta é gosta(laura, sorvete).
• A alternativa A inverteu para gosta(sorvete, laura), o que é menos intuitivo, além de usar a palavra "e" por extenso.

Resumo da Tradução

Unindo tudo, temos: ?- gosta(laura, sorvete), gosta(carlos, torta)

Portanto, a Alternativa C é a única que respeita tanto a sintaxe de consulta quanto o operador de conjunção correto para a área de computação.