— Mário, você não vai tirar férias este ano de novo? Você trabalha demais!

— Ah, João, aquele que trabalha com o que gosta está sempre de férias.

Considerando o diálogo acima, julgue o item seguinte, tendo como referência a declaração de Mário.

“Se o indivíduo estiver sempre de férias, então ele trabalha com o que gosta” é uma proposição equivalente à declaração de Mário.

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.

— Mário, você não vai tirar férias este ano de novo? Você trabalha demais!

— Ah, João, aquele que trabalha com o que gosta está sempre de férias.

Considerando o diálogo acima, julgue o item seguinte, tendo como referência a declaração de Mário.

A negação da declaração de Mário pode ser corretamente expressa pela seguinte proposição: “Aquele que não trabalha com o que não gosta não está sempre de férias”.

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.

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.

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.

É 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 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”.