Uma fórmula bem formada da lógica de predicados é válida se ela é verdadeira para todas as interpretações possíveis. Considerando essa informação, analise as duas asserções apresentadas a seguir. A fórmula bem formada (?x) P(x) ? (?x) P(x) é válida porque, em qualquer interpretação de uma fórmula da lógica de predicados, se todo elemento do conjunto universo tem a propriedade P, então existe um elemento do conjunto que tem essa propriedade. Assinale a opção correta com relação a essas asserções.