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:

a.
p: t: consumo(p, t) ˅ t > 11.5 economico(p)

b.
p: t: consumo(p, t) t > 11.5 economico(p)

c.
p: t: consumo(p, t) t >= 11.5 economico(p)

d.
p: t: consumo(p, t) t 11.5 economico(p)

1 Resposta

  • Rose

    O que são predicados?

    Na lógica de predicados, também chamada de lógica de primeira ordem, um predicado é uma função que recebe argumentos e retorna valores lógicos.

    D^n o extsf{{true,false}}

    Onde:

    D é o domínio da função.n é a aridade da função.

    Em um predicado de dois argumentos, por exemplo, a aridade do mapeamento é 2.

    Resolução da questão:

    Considere o predicado preço:

    preço(p, t)

    Onde:

    p é o nome do produto.t é o preço.

    O predicado pode retornar true ou false, a depender das entradas. Supondo que o preço de um pendrive 32GB seja R$ 135,50, então se entrarmos:

    preço("pendrive 32GB", 135.50)  = true

    Em contrapartida,

    preço("pendrive 32GB", 50.00)  = false

    Para elaborar o predicado caro, devemos avaliar o nome do produto. Para isso, o argumento deve ser único e conter o nome do produto. Ou seja,

    caro(p)

    Finalmente, para compor os predicados preço(p,t) e caro(t), devemos uni-los com com uma conjunção ∧, pois queremos que ambos sejam verdades.

    preço(p,t) ∧ t > 98.0 ∧ caro(p)

    Ou seja, o predicado retornará true quando o produto p corresponder ao preço t e esse preço for maior que R$ 98,00.

    resposta: B)

    Leia mais sobre a Lógica de Predicados:


    Considerando que a lógica de predicados oferece um mecanismo simples para armazenar conhecimento e p

Clique aqui para adicionar a sua resposta.