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
Para escrever sua resposta aqui, entre ou crie uma conta.
Compartilhar