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 gosta de sorvete e Carlos gosta de torta?'

Alternativa C - ? - gosta(laura, sorvete), gosta(carlos, torta)

Análise Detalhada

Para resolver esta questão, precisamos entender a sintaxe básica utilizada em sistemas de Lógica de Predicados, frequentemente ensinada na disciplina de Inteligência Artificial ou Lógica Computacional (comumente utilizando a linguagem Prolog como exemplo).

1. Estrutura do Predicado

Em lógica computacional, um fato é geralmente escrito na forma predicado(arg1, arg2).

• Sujeito: Quem realiza a ação (ex: Laura, Carlos).
• Objeto: Sobre o que recai a ação (ex: sorvete, torta).
• Ordem padrão: predicado(sujeito, objeto).

Portanto:

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

Isso elimina a Alternativa A, que inverte a ordem para gosta(sorvete, laura).

2. O Conectivo Lógico "E"

A pergunta contém a palavra "e" ("...Laura gosta de sorvete e Carlos gosta de torta"). Isso indica uma conjunção lógica.

Em linguagens como o Prolog:

• A vírgula , representa o operador lógico E (conjunção). Significa que ambas as condições devem ser verdadeiras simultaneamente.
• O ponto-e-vírgula ; representa o operador lógico OU (disjunção).

A Alternativa D utiliza a palavra "ou", o que alteraria o significado da pergunta, tornando-a incorreta.

3. Símbolo de Consulta

Ao fazer uma pergunta ao sistema lógico (uma query), utilizamos um prefixo específico para indicar que se trata de uma busca de resposta, e não apenas a definição de um fato.

• O símbolo padrão é ?- (interrogação seguida de traço).

A Alternativa B não possui esse prefixo, apresentando-se apenas como uma lista de fatos sem a indicação de que é uma consulta.

Resumo Comparativo

A Alternativa C (? - gosta(laura, sorvete), gosta(carlos, torta)) segue rigorosamente todas essas regras sintáticas e lógicas.