A maior rede de estudos do Brasil

Regras de Inferência para Proposições Quantificadas

Em determinadas situações, é comum precisarmos demonstrar que o produto que estamos oferecendo para um cliente é de qualidade e útil às situações em que o cliente necessitará utilizá-lo.

Imaginemos que um produto x ter boa qualidade possa ser simbolizado por P(x) e um produto x ser útil para o cliente possa ser simbolizado por Q(x). Assim, se soubermos que em nosso estoque existe pelo menos um produto de boa qualidade e existe também pelo menos um produto com a utilidade que o cliente necessita, temos a expressão: [∃xP(x) ∧ ∃xQ(x)].

Pensando dessa maneira, observe a demonstração da validade do argumento [∃xP(x) ∧ ∃xQ(x)] |— ∃x[P(x) ∧ Q(x)] no quadro a seguir:

Nesta demonstração há um erro em um dos passos. Identifique o erro e dê o seu significado no contexto do problema.



Ainda não temos resposta. Você sabe responder?