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, ...
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 (\existe x)P(x) -> (\paratodo 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. a. A primeira asserção é uma proposição falsa, e a segunda é uma proposição verdadeira. b. A primeira asserção é uma proposição verdadeira, e a segunda é uma proposição falsa. c. As duas asserções são proposições verdadeiras, e a segunda não é uma justificativa correta da primeira. d. As duas asserções são proposições falsas. e. As duas asserções são proposições verdadeiras, e a segunda é uma justificativa correta da primeira.
Compartilhar