Concursos públicos

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 ∨ P. A conclusão do argumento pode ser expressa na forma: P ↔ Q.

II. A validade do argumento se demostra com os passos: ¬Q ∨ 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 amp;arr; 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 bicondiciona 1).

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 ∨ P.

É correto apenas o que se afirma em