Voltar para a lista
Questão 30272Q30272
Ano: 2013Banca: CESPE / CEBRASPECargo: Conhecimentos Básicos - Cargos 24 e 25Concurso: SERPRO
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 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”.