Question

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("Ford Fusion", 6.5)

consumo ("Honda City", 12.0)

Assinale a alternativa que apresenta a proposição lógica composta CORRETA para definir quando um veículo será considerado com alto consumo, ou seja, consumidor de muito combustível se estiver abaixo de 6.8 km/litro:

a.
p: t: consumo(p, t) altoconsumo(p)

b.
p: t: consumo(p, t) t < 6.8 altoconsumo(p)

c.
p: t: consumo(p) p < 6.8 altoconsumo(p)

d.
q: r: consumo(p, t) t < 6.8 altoconsumo(p)

e.
p: t: consumo(p, t) ˅ t < 6.8 altoconsumo(p)

Answer 1

Resposta: b.

p: t: consumo(p, t) t < 6.8 altoconsumo(p)

Explicação: