Nos sistemas computacionais e na modelagem de processos, é comum utilizar raciocínio lógico para representar condições de funcionamento e analisar situações simultâneas. A compreensão das leis de equivalência é essencial para simplificar diagnósticos e garantir decisões consistentes em ambientes informatizados. 

Considere as proposições:
● P: “O servidor está ativo” ● Q: “O sistema está disponível”

Qual alternativa representa corretamente a negação da afirmação composta “O servidor está ativo e o sistema está disponível”?

Em editais de fomento à pesquisa, é comum que sejam estabelecidos critérios condicionais rigorosos para a avaliação de projetos, relacionando requisitos de mérito a desdobramentos administrativos. A interpretação correta dessas condições, sob a ótica da lógica formal, assegura previsibilidade e transparência nas decisões institucionais.
Um edital estabelece a premissa: “Se o projeto possui impacto social comprovado, então ele é aprovado na primeira fase de avaliação”. Considerando que essa condicional é verdadeira, assinale a alternativa que apresenta uma equivalente à proposição dada.

Nos sistemas de controle administrativo, fluxogramas e cadeias de condições lógicas são utilizados para determinar a tramitação de processos internos. A análise rigorosa dessas relações permite inferir conclusões válidas a partir da negação de consequências, utilizando o raciocínio dedutivo como ferramenta essencial para auditoria e tomada de decisão organizacional.

Considere as seguintes premissas:

● Se um processo é urgente, então ele é prioritário. ● Se um processo é prioritário, então ele é analisado no mesmo dia.

Constatou-se que um determinado processo não foi analisado no mesmo dia. A partir dessas informações, qual conclusão é logicamente obrigatória? 

Pesquisas acadêmicas que envolvem múltiplas variáveis, como a proficiência linguística em programas de pósgraduação, utilizam conceitos da Teoria dos Conjuntos para organizar e interpretar dados complexos. O Princípio da Inclusão-Exclusão é uma ferramenta fundamental para identificar interseções entre grupos e calcular a parcela da população que não se enquadra em nenhuma das categorias avaliadas.
Em uma amostra de 120 alunos, os dados revelaram: 10 dominam Inglês, Espanhol e Francês; 25 dominam Inglês e Espanhol; 18 dominam Inglês e Francês; 15 dominam Espanhol e Francês; 60 dominam Inglês; 50 dominam Espanhol; e 40 dominam Francês. Considerando essas informações, o número de alunos que não possui proficiência em nenhum dos três idiomas avaliados é