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. Laura gosta de sorvete e Carlos gosta de torta? Marque a alternativa que indica corretamente a pergunta 'Será que Laura gosta de sorvete e Carlos gosta de torta?'

Alternativa C

Explicação Detalhada:

Esta questão aborda a sintaxe básica da Lógica de Predicados, frequentemente utilizada em linguagens de programação lógica como Prolog. Para responder, precisamos entender como transformar uma frase natural em uma consulta de computador.

1. Símbolo de Interrogação (?-):

• Em sistemas baseados em lógica (como Prolog), a consulta começa com ?-. Isso indica ao sistema que queremos verificar se algo é verdadeiro (uma pergunta).
• As alternativas B e E estão incorretas porque faltam esse prefixo essencial.

1. Ordem dos Argumentos:

• O predicado usado é gosta(Sujeito, Objeto).
• Para dizer "Laura gosta de sorvete", escrevemos gosta(laura, sorvete).
• Para dizer "Carlos gosta de torta", escrevemos gosta(carlos, torta).
• A alternativa A inverteu essa ordem (gosta(sorvete, laura)), o que significaria que o sorvete gosta da Laura, o que não faz sentido lógico neste contexto.

1. Conectivos Lógicos ("E"):

• A pergunta original contém a palavra "e" (Laura gosta de sorvete e Carlos gosta de torta).
• Na sintaxe de Prolog, a vírgula (,) funciona como o operador lógico "E" (conjunção). Quando colocamos dois predicados lado a lado separados por vírgula, o sistema verifica se ambos são verdadeiros.
• A alternativa D usa a palavra "ou", o que mudaria o significado lógico da pergunta.

Comparativo das Estruturas:

Portanto, a combinação correta é:
\text{?- } \text{gosta(laura, sorvete)}, \text{ gosta(carlos, torta)}

Isso corresponde exatamente à Alternativa C.