Julgue o item seguinte, tendo como referência as proposições...
Próximas questões
Com base no mesmo assunto
Ano: 2013
Banca:
CESPE / CEBRASPE
Órgão:
SERPRO
Prova:
CESPE / CEBRASPE - 2013 - SERPRO - Conhecimentos Básicos - Cargos 24 e 25 |
Q1663556
Raciocínio Lógico
Texto associado
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”.