Questões de Concurso Público SERPRO 2013 para Conhecimentos Básicos, Cargos 24 e 25

Considerando que o símbolo lógico ∧ corresponda à conjunção “e”; ∨ , à disjunção “ou”;➝ , à condicional “se..., então”; ⬌, à bicondicional “se, e somente se”; ~ corresponda à negação “não”; P, Q e R sejam proposições simples; e S seja a seguinte proposição composta: [P∧~(Q∨R)]➝[R∧(P⬌Q)], julgue o próximo item.

Se Q for uma proposição verdadeira, então, independentemente dos valores lógicos de P e R, a proposição S será sempre verdadeira. 

Considerando que o símbolo lógico ∧ corresponda à conjunção “e”; ∨ , à disjunção “ou”;➝ , à condicional “se..., então”; ⬌, à bicondicional “se, e somente se”; ~ corresponda à negação “não”; P, Q e R sejam proposições simples; e S seja a seguinte proposição composta: [P∧~(Q∨R)]➝[R∧(P⬌Q)], julgue o próximo item.

A negação de S – ~S – pode ser corretamente expressa por [~P∨(Q∨R)]∧[(~R)∨~(P⬌Q)].

Considerando que o símbolo lógico ∧ corresponda à conjunção “e”; ∨ , à disjunção “ou”;➝ , à condicional “se..., então”; ⬌, à bicondicional “se, e somente se”; ~ corresponda à negação “não”; P, Q e R sejam proposições simples; e S seja a seguinte proposição composta: [P∧~(Q∨R)]➝[R∧(P⬌Q)], julgue o próximo item.

Se P for uma proposição verdadeira e se Q e R forem falsas, então as proposições S e [P➝(Q∨R)]∧(P⬌Q) terão valores lógicos diferentes.

Julgue o item seguinte, tendo como referência as proposições P, Q e R.

A proposição [P∧(~Q)]⬌[R∨(~P)] é corretamente descrita como: “Todo sistema operacional Linux é um Unix e o sistema operacional MacOs Leopard não é um tipo de Unix se, e somente se, nenhuma versão do sistema operacional Microsoft Windows é um Unix ou algum sistema operacional Linux não é Unix”.

Julgue o item seguinte, tendo como referência as proposições P, Q e R.

É possível inferir que o sistema operacional MacOS Leopard é uma versão de Microsoft Windows.

Julgue o item seguinte, tendo como referência as proposições P, Q e R.

A partir da veracidade das proposições P e Q, é possível inferir que o sistema operacional MacOs Leopard pode ser um Linux.

Julgue o item seguinte, tendo como referência as proposições P, Q e R.

Alguma versão do sistema operacional Windows pode ser do tipo Linux.

Com referência às matrizes X e Y mostradas acima, em que x e y são números reais adequados, julgue o próximo item.

Se A for o conjunto dos números reais y para os quais a matriz Y seja inversível e se P for a proposição “y é um número real e y² > 6”, então A será o conjunto dos números reais y para os quais a proposição P é verdadeira.

Com referência às matrizes X e Y mostradas acima, em que x e y são números reais adequados, julgue o próximo item.

A proposição “Se x é um número natural e x ≠ 1, então, para esse valor de x, a matriz X é inversível” é verdadeira.

Considerando que x, y e z sejam números naturais tais que x + y = z; que X seja a proposição “x é ímpar”; que Y seja a proposição “y é par”; e que Z seja a proposição “z é ímpar”, julgue o seguinte item.
A proposição X∧Z→Y é verdadeira.

Considerando que x, y e z sejam números naturais tais que x + y = z; que X seja a proposição “x é ímpar”; que Y seja a proposição “y é par”; e que Z seja a proposição “z é ímpar”, julgue o seguinte item.

A proposição Y→X∧Z é verdadeira.

o conjunto C–A∪B tem menos de 18 elementos.

o conjunto A∪B tem mais de 38 elementos.