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

A questão aborda a representação de sentenças na Lógica de Predicados, frequentemente utilizada em introdução à computação e inteligência artificial (como na linguagem Prolog). Para identificar a resposta correta, devemos analisar três componentes principais: a sintaxe da pergunta, a ordem dos argumentos e o conectivo lógico.

Análise Detalhada

Para traduzir a frase "Será que Laura gosta de sorvete e Carlos gosta de torta?", seguimos estes passos:

1. Indicador de Consulta: Em lógica computacional, perguntas são consultas. O padrão internacional para iniciar uma consulta é o símbolo ? -. Isso descarta imediatamente as alternativas que não possuem esse prefixo ou o colocam incorretamente (como a B e E).
2. Estrutura do Predicado: Um predicado geralmente segue a ordem (NomeDoPredicado, Sujeito, Objeto).

• Frase: "Laura gosta de sorvete".
• Tradução: gosta(laura, sorvete).
• A alternativa A inverte essa ordem para gosta(sorvete, laura), o que é semanticamente confuso e não convencional.

1. Conectivo Lógico ("E"): A conjunção entre duas condições deve ser representada corretamente. Na sintaxe de lógica de programação (ex: Prolog), a vírgula , atua como operador de "E" lógico. Embora a palavra "e" seja compreensível em texto corrido, a forma estruturada utiliza a vírgula para separar objetivos simultâneos.

Comparativo das Alternativas Relevantes

Conclusão

A Alternativa C é a única que respeita tanto a sintaxe formal de consulta (? -) quanto a ordem lógica dos argumentos (Sujeito, Objeto) e utiliza o conectivo adequado (vírgula para conjunção). As demais opções falham na sintaxe de início da pergunta ou na organização dos dados dentro do predicado.