Questão FC148745
Considere que proposições P, Q e R, listadas abaixo, sejam verdadeiras. P: Todo sistema operacional Linux é um tipo de Unix. Q: O sistema operacional MacOS Leopard é um tipo de Uni
Lógica de Proposições
CEBRASPE (CESPE) · 2013
P: Todo sistema operacional Linux é um tipo de Unix.
Q: O sistema operacional MacOS Leopard é um tipo de Unix.
R: Nenhuma versão do sistema operacional Microsoft Windows é do tipo Unix.
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.
Mostrar resposta e comentário
Gabarito
Errado
Comentário do professor
Comentário: A afirmação está ERRADA porque, segundo as proposições dadas, P afirma que todos os sistemas operacionais Linux são do tipo Unix, e R afirma que nenhuma versão do sistema operacional Microsoft Windows é do tipo Unix. Portanto, se as versões do Windows não pertencem ao conjunto Unix, elas também não podem ser do tipo Linux, já que todas as versões Linux estão incluídas no conjunto Unix. Assim, não é possível que alguma versão do Windows seja do tipo Linux, tornando a afirmação incorreta.
Conteúdo do catálogo FC Concursos · Atualizado em