///
Esta questão foi aplicada no ano de 2013 pela banca CESPE / CEBRASPE no concurso para SERPRO. A questão aborda conhecimentos da disciplina de Raciocínio Lógico e Quantitativo, especificamente sobre Introdução à Lógica, Proposições e Operadores Lógicos.
Esta é uma questão de múltipla escolha com 2 alternativas. Teste seus conhecimentos e selecione a resposta correta.
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 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.