Considerando que a lógica de predicados oferece um mecanismo simples para armazenar conhecimento e preparar proposições para raciocínio e inferênci...

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 – predicados com dois parâmetros que especificam o nome do produto e seu preço –, utilizados para analisar os itens vendidos em uma loja de eletrônicos:
preco("pendrive 32GB", 135.50)
preco("mouse L329i", 95.00)
Assinale a alternativa que apresenta a proposição lógica composta CORRETA para definir quando um produto será considerado caro, ou seja, se o seu preço estiver acima de R$ 98,00:

a) "p: "t: preco(p, t) ˅ t > 98.0 ® caro(t)
b) "p: "t: preco(p) Ù p > 98.0 ® caro(p)
c) "p: "t: preco(t, p) Ù t > 98.0 ® caro(p)
d) "p: "t: preco(p, t) Ù t > 98.0 ® caro(p)
e) "p: "t: preco(p, t) ® caro(p)