Questão de Raciocínio Lógico

Na lógica de primeira ordem, considere a árvore de dedução natural. p(x) Ù q(x) "x(p(x) ® q(x)) passo 1 passo 2 p(x) p(x) ® q(x) passo 3 q(x) passo 4 "xq(x) onde: o passo 1 é gerado pela aplicação da regra de exclusão do Ù o passo 2 é gerado pela aplicação da regra de exclusão do " o passo 3 é gerado pela aplicação da regra de exclusão do o passo 4 é gerado pela aplicação da regra de inclusão do " Analisando as informações apresentadas, conclui-se que