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:
Crie uma conta e ajude outras pessoas compartilhando seu conhecimento!
Para escrever sua resposta aqui, entre ou crie uma conta.
Matemática/raciocínio Lógico
•UNOPAR
Compartilhar