Pretende-se demonstrar a validade ou invalidade do seguinte argumento: Se o programador lê a literatura técnica

Pretende-se demonstrar a validade ou invalidade do seguinte argumento: Se o programador lê a literatura técnica

ENADE 2014 - QUESTÃO 32

Considere as proposições lógicas simples P, Q, R:

P: o programador lê a literatura técnica 

Q: o programador conhece o idioma inglês

R: o programador será selecionado

Pretende-se demonstrar a validade ou invalidade do seguinte argumento:

Se o programador lê a literatura técnica, então ele conhece inglês.

Se o programador conhece o idioma inglês, então ele será selecionado.

O programador não será selecionado ou ele lê a literatura técnica.

Logo, o programador lê a literatura técnica se e somente se conhece o idioma inglês.

Considerando as colocações acima, avalie as afirmações a seguir.

I. As premissas do argumento podem ser expressas na forma: P → Q, Q → R e-R v P. A conclusão do argumento pode ser expressa na forma: P ↔ Q.

II. A validade do argumento se demostra com os passos: -Q v P (equivalente de uma premissa), P → R (transitividade da implicação a partir das premissas) e conclusão Q ↔ R (conjunção de duas proposições condicionais e transformação em bicondicional).

III. A validade do argumento se demostra com os passos: R → P (equivalente de uma premissa), Q → P (transitividade da implicação), chegamos à conclusão P ↔ Q (conjunção de duas proposições condicionais e transformação em bicondicional).

IV. As premissas do argumento podem ser expressas na forma: P → Q, Q → R e -R → P e a conclusão do argumento acima pode ser expressa na forma: P → Q.

V. A invalidade do argumento acima se demonstra desta forma: a proposição lógica P ↔ Q é diferente das premissas P → Q, Q → R e -R v P.

É correto apenas o que se afirma em

A) I e III.

B) II e IV.

C) I, III e V.

D) I, II, IV e V.

E) II, III, IV e V.

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!

GABARITO:

A) I e III.

QUESTÃO DISPONÍVEL EM:

- Prova Ciências da Computação ENADE 2014 com Gabarito