Em uma investigação, um perito estabelece a fórmula proposicional:

[(P→Q)∧-Q]→¬P

Ele precisa classificar essa estrutura para determinar a validade formal do raciocínio empregado no diagnóstico de uma falha sistêmica. Ao construir a tabela-verdade completa para todas as combinações das proposições p e a, o perito encontrará uma coluna final composta exclusivamente por valores verdadeiros. Essa estrutura é classificada academicamente como:

Analise a afirmação: "É falso que, se o edital for publicado, então haverá impugnação ou o cronograma será alterado". De acordo com as leis de negação das proposições compostas, a afirmação acima equivale logicamente a dizer que uma combinação específica de fatos ocorreu simultaneamente na Administração. Diante disso, qual das alternativas apresenta a estrutura logica CORRETA que descreve a situação real do edital, da impugnação e do cronograma de acordo com essa negação?

Considere a proposição composta: Se o servidor cumpre as metas de eficiência e não ultrapassa o teto de gastos, então ele recebe a bonificação ou o projeto é auditado. Sabe-se que a afirmação O servidor recebe a bonificação é falsa e a afirmação O projeto é auditado também é falsa.
Para que toda a proposição logica declarada inicialmente seja considerada verdadeira, sob a ótica da tabela-verdade dos conectivos condicionais, é necessário que, obrigatoriamente, ocorra a seguinte condição sobre o antecedente:

Dadas as premissas:

I. "Se Paulo é analista, então Ana é coordenadora"
II. "Ana não é coordenadora ou Beatriz é diretora".
III. "Beatriz não é diretora".

No contexto de uma reorganização, qual das alternativas a seguir apresenta a conclusão CORRETA que se obtém através da aplicação rigorosa das regras de dedução da lógica proposicional?

Em um sistema de segurança, a condição de acesso é dada pela proposição: 

(PAQ)→ (PvQ)

Um engenheiro precisa simplificar essa regra para otimizar o processamento. Ao analisar a tabela-verdade dessa bicondicional, ele percebe que o acesso só é liberado em situações específicas. Para quais valores lógicos de P e Q a regra de acesso resulta em um valor VERDADEIRO, permitindo que o usuário entre no sistema de gestão de informações?

Considere que as proposições Todo gestor é líder e Algum gestor é técnico são premissas verdadeiras de um plano de cargos. No campo da lógica de predicados e diagramas de conjuntos, essa estrutura implica que uma terceira afirmação deve ser necessariamente verdadeira para manter a coerência do conjunto. Analisando as intersecções entre os conjuntos de gestores, líderes e técnicos, qual das alternativas abaixo apresenta uma dedução que NÃO admite contestação lógica dentro desse cenário?

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 é

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?

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 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”?