Questões de Raciocínio Lógico · Cebraspe
Raciocínio LógicoImplicação lógicaCebraspe 2013
SERPRO
Questão de Raciocínio Lógico
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 os itens seguintes, 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.
Mais questões de Implicação lógica
- FGV 2026Considere as seguintes premissas: • Se apenas um entre João e Maria mora no bairro do Butantã, então o elefante é azul. • Se João não mora do bairro do Butantã, então a galinha é…
- IGEDUC 2026Quatro proposições p, q, r e s representam a validação de quatro condições de um protocolo lógico. Admita que todas as valorações admissíveis devem satisfazer simultaneamente as p…
- Legatus 2026Sejam P, Q e R proposições lógicas. Julgue as afirmações abaixo, classificando-as em verdadeiro (V) ou falso (F). I. ( ) Se P ⇒ Q e Q ⇒ R, então P ⇒ R. II. ( ) (P ⇒ Q) ⇔ (~P⋁Q) II…
- Instituto Verbena 2026Na conferência de rotinas de um setor, foram tomadas como verdadeiras as seguintes informações: se o relatório R foi assinado, então o processo P foi arquivado; se o processo P fo…
- Quadrix 2026A proposição (P→Q)∧(Q→R) garante logicamente que, sendo verdadeira a proposição P, a proposição R também será verdadeira.
Questão de prova oficial, com o gabarito definitivo publicado pela banca. Reproduzida para fins de estudo.