Raciocínio LógicoQuantificadores universal e existencialCebraspe 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 proposição [Pv(~Q)]ø[Rw(~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”.
Mais questões de Quantificadores universal e existencial
- ABCP 2026Considere os conjuntos: • : pessoas que falam Inglês; • : pessoas que falam Espanhol; • : pessoas que falam Francês. Sabe-se que “Todo está em : ”, “Alguns estão em : ” e “Nenhum…
- Cebraspe 2026Considere o conjunto universo dos deputados e os predicados a seguir: p(x): x é favorável à matéria. q(x): x vota favorável.
- IDHTEC 2026Leia o argumento a seguir: "Todo Agente Comunitário de Saúde - ACS de Ipubi/PE realiza visitas domiciliares. Alguns servidores que realizam visitas domiciliares recebem adicional…
- CONSULTEC (AIETEC) 2026Em um determinado protocolo de triagem hospitalar, são consideradas três condições clínicas: • todo paciente com sepse grave apresenta instabilidade hemodinâmica; • todo paciente…
- Quadrix 2026É correto concluir que “Todo ser mágico é elfo”.
Questão de prova oficial, com o gabarito definitivo publicado pela banca. Reproduzida para fins de estudo.