Questão de Raciocínio Lógico — Equivalência Lógica e Negação de Proposições — IGEDUC 2026
Raciocínio LógicoEquivalência Lógica e Negação de Proposições
- Código
- qg721809
- Banca
- IGEDUC
- Órgão
- Prefeitura de Teotônio Vilela - AL
- Ano
- 2026
- Nível
- Médio
- Cargo
- Guarda Civil Municipal
Um analista, em relatório técnico, apresenta o seguinte raciocínio para justificar a adoção de um novo procedimento interno: "Sempre que um procedimento é documentado adequadamente, há maior padronização das atividades. Sempre que há maior padronização, ocorre redução de retrabalhos. Logo, ao documentar adequadamente os procedimentos, ocorre redução de retrabalhos."Considere que o raciocínio acima será analisado exclusivamente sob a ótica da lógica proposicional clássica, tratando as sentenças como proposições formais e interpretando o conectivo "se... então..." como implicação material. Não se deve atribuir interpretação causal, empírica ou probabilística às proposições.Com base nesse enquadramento formal e nos conceitos de inferência, dedução e equivalência lógica, analise as assertivas a seguir e assinale V (Verdadeiro) ou F (Falso):(__) A conclusão apresentada decorre de uma dedução logicamente válida, construída a partir de duas premissas encadeadas por implicações materiais.(__) A estrutura formal do argumento pode ser representada como um silogismo hipotético do tipo: P → Q; Q → R; logo, P → R.(__) Na lógica proposicional clássica, a negação da implicação material "Se P, então Q" (P → Q) é logicamente equivalente à proposição "não P ou não Q" (~P v ~Q).(__) A proposição "se não há padronização, então não há documentação adequada" é logicamente equivalente à primeira premissa do argumento, por corresponder à sua contrapositiva formal.(__) O raciocínio apresentado caracteriza-se como uma inferência indutiva, pois parte de observações empíricas para estabelecer uma regra geral.(__) Admitindo-se a veracidade das premissas formais, a rejeição da conclusão implicaria violação da consistência lógica do argumento.Assinale a alternativa que apresenta a sequência correta de V (verdadeiro) e F (falso), de cima para baixo:
- AF, F, V, V, F, F.
- BV, V, F, V, F, V.
- CF, V, F, V, F, V.
- DV, V, F, F, F, V.
- EV, F, V, F, V, F.