Uma fórmula bem formada da lógica de predicados é válida se ela é verdadeira para todas as interpretações possíveis

ENADE 2008  -  QUESTÃO 17 Uma fórmula bem formada da lógica de predicados é válida se ela é verdadeira para todas as interpretações possívei...

ENADE 2008 - QUESTÃO 17

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.

A) As duas asserções são proposições verdadeiras, e a segunda é uma justificativa correta da primeira.

B) As duas asserções são proposições verdadeiras, e a segunda não é uma justificativa correta da primeira.

C) A primeira asserção é uma proposição verdadeira, e a segunda é uma proposição falsa.

D) A primeira asserção é uma proposição falsa, e a segunda é uma proposição verdadeira.

E) As duas asserções são proposições falsas.

QUESTÃO ANTERIOR:

- O gerenciamento de configuração de software (GCS) é uma atividade que deve ser realizada para identificar, controlar, auditar e relatar as modificações que ocorrem durante todo o desenvolvimento ou mesmo durante a fase de manutenção, depois que o software for entregue ao cliente.

GABARITO:

D) A primeira asserção é uma proposição falsa, e a segunda é uma proposição verdadeira.

RESOLUÇÃO:

Não temos resolução para essa questão! Você sabe explicar? Copie o link dessa página e envie sua resolução clicando AQUI!

PRÓXIMA QUESTÃO:

- Os números de Fibonacci constituem uma sequência de números na qual os dois primeiros elementos são 0 e 1 e os demais, a soma dos dois elementos imediatamente anteriores na sequência

QUESTÃO DISPONÍVEL EM:

- Prova de Computação ENADE 2008 com Gabarito