Questões de Concurso Público SEPLAG-MG 2026 para Técnico em Atividades de Pesquisa e Ensino
Foram encontradas 4 questões
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:
[(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:
I. "Se o sistema falha, o backup é acionado".
II. "O backup não é acionado ou o alerta soa.
ilI. "O alerta não soou".
Com base nessas premissas de um protocolo de segurança de dados, um analista deve aplicar as regras de inferência para deduzir o estado do sistema. Utilizando o encadeamento lógico necessário entre condicionais e disjunções, qual conclusão é logicamente obrigatória para manter a coerência de todo o conjunto de informações?