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.

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: