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

Esta questão aborda a tradução de sentenças naturais para a linguagem de Lógica de Predicados, uma base fundamental para Inteligência Artificial e Programação Lógica (como na linguagem Prolog).

Análise da Estrutura Lógica

Para resolver a questão, devemos decompor a frase em componentes lógicos seguindo a sintaxe padrão:

1. Predicados e Argumentos:
   Um predicado descreve uma relação ou propriedade. A estrutura geral é NomePredicado(Argumento1, Argumento2).

• Para "Laura gosta de sorvete", o predicado é gosta. O primeiro argumento é quem gosta (sujeito) e o segundo é o objeto.
• Forma correta: gosta(laura, sorvete).
• Nota: A alternativa A inverteu isso (gosta(sorvete, laura)), o que significaria "o sorvete gosta da Laura", alterando o sentido.

1. Conjunção Lógica ("e"):
   Na lógica computacional, a operação lógica de E (conjunção) entre dois objetivos é representada pela vírgula (,).

• "Laura gosta de sorvete" E "Carlos gosta de torta" \Rightarrow gosta(laura, sorvete), gosta(carlos, torta).
• A alternativa D utiliza a palavra "ou", que representa disjunção (\lor), contradizendo o enunciado.

1. Formatação de Consulta:
   Em linguagens de lógica de primeira ordem (como Prolog), uma pergunta ou consulta ao banco de fatos inicia-se obrigatoriamente com o símbolo ?-.

• Isso descarta as alternativas B e E, que não possuem esse prefixo ou apresentam sintaxe incorreta.

Resumo das Opções

Portanto, a representação formal correta para a pergunta solicitada é a da Alternativa C.