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?'
A) ? - gosta(sorvete, laura) e gosta(torta, carlos)
B) gosta(laura, sorvete), gosta(carlos, torta)?
C) ? - gosta(laura, sorvete), gosta(carlos, torta)
D) ? - gosta(laura, sorvete) ou gosta(carlos, torta)
E) gosta(laura, sorvete), (carlos, torta)?