Questão FC148744
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.
A partir da veracidade das proposições P e Q, é possível inferir que o sistema operacional MacOs Leopard pode ser um Linux.
Mostrar resposta e comentário
Gabarito
Certo
Comentário do professor
Comentário: As proposições P e Q afirmam que todo sistema operacional Linux é um tipo de Unix e que o MacOS Leopard também é um tipo de Unix. Como o Linux é uma subcategoria de Unix, é possível que o MacOS Leopard compartilhe características com o Linux, mas isso não implica que o MacOS Leopard seja um Linux. Portanto, a inferência de que o MacOS Leopard "pode ser" um Linux é considerada correta, pois pode existir sobreposição entre as categorias, mesmo que não seja uma afirmação definitiva. Assim, a afirmação está correta, pois admite a possibilidade de que MacOS Leopard pertença ao conjunto dos sistemas operacionais Linux dentro do contexto de sistemas Unix.
Conteúdo do catálogo FC Concursos · Atualizado em