A questão foi anulada; por favor, selecione qualquer alternativa para que possa ser atribuída a pontuação correspondente. Considerando que a lógica de predicados oferece um mecanismo simples para armazenar conhecimento e preparar proposições para raciocínio e inferência, sejam dados definidos em predicados como nos dois exemplos mostrados a seguir – com dois parâmetros que especificam um modelo de veículo e seu consumo em quilômetros por litro –, utilizados para analisar os automóveis de uma grande empresa: consumo("GM Cruzier", 6.7) consumo ("Mitsubishi Lancer", 11.6) consumo ("Fiat Palio", 12.1) Assinale a alternativa que apresenta a proposição lógica composta CORRETA para definir que um veículo será considerado econômico se o seu consumo estiver acima do valor 11.5 km/litro: "q: "r: consumo(p, t) Ù t > 11.5 ® economico(p) "p: "t: consumo(p, t) Ù t < 11.5 ® economico(p) "p: "t: consumo(p, t) Ù t > 11.5 ® economico(p) "p: "t: consumo(p, t) « t >= 11.5 Ù economico(p) "p: "t: consumo(p, t) ˅ t > 11.5 ® economico(p)