Questão FC149188
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 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”.
Mostrar resposta e comentário
Gabarito
Certo
Comentário do professor
Comentário: A proposição apresentada pode ser analisada em partes. A primeira parte, "Todo sistema operacional Linux é um Unix" (P), e "o sistema operacional MacOS Leopard não é um tipo de Unix" (¬Q), são verdadeiras. A segunda parte, "nenhuma versão do sistema operacional Microsoft Windows é do tipo Unix" (R), também é verdadeira. A estrutura de "P e não Q se, e somente se, R ou não P" está correta, pois a proposição composta traduz adequadamente as relações lógicas entre P, Q e R. Portanto, a descrição é coerente com as verdades das proposições, justificando que a afirmação está correta.
Conteúdo do catálogo FC Concursos · Atualizado em