Questão de Raciocínio Lógico — Fundamentos de Lógica — FGV 2025
Raciocínio Lógico›Fundamentos de Lógica
Código
fg121266
Banca
FGV
Órgão
TCE-PE
Ano
2025
Nível
Superior
Cargo
Analista de Gestão - Administração
Na lógica proposicional, uma regra de inferência apresenta a seguinte estrutura:Caso ocorra P, necessariamente ocorrerá Q.Como Q não ocorreu, conclui-se que P não ocorreu.Assinale a afirmativa que aplica corretamente a regra citada.
ASe chove, então a rua fica molhada. A rua está molhada. Logo, choveu.
BSe estudo, então passo na prova. Não passei na prova. Logo, não estudei.
CSe João vai ao cinema, então Maria fica em casa. João não foi ao cinema. Logo, Maria não ficou em casa.
DSe Ana lê o livro, então ela faz o resumo. Ana fez o resumo. Logo, ela leu o livro.
ESe o alarme toca, então há incêndio. Há incêndio. Logo, o alarme tocou.
Revelar gabarito e comentário▾
GabaritoB — Se estudo, então passo na prova. Não passei na prova. Logo, não estudei.
Comentário gerado por IA. É um apoio ao estudo, ancorado em fontes, mas pode conter imprecisões — confira sempre na fonte oficial (lei, súmula, edital e gabarito da banca). Encontrou um erro? Use “Reportar”.
Regra de inferência: Modus Tollens
Gabarito: letra B. A estrutura descrita no enunciado — "Caso ocorra P, necessariamente ocorrerá Q. Como Q não ocorreu, conclui-se que P não ocorreu" — é a regra de inferência conhecida como Modus Tollens (negação do consequente). A alternativa B aplica exatamente essa regra: "Se estudo, então passo na prova. Não passei na prova. Logo, não estudei." As demais alternativas cometem as falácias clássicas de afirmação do consequente ou negação do antecedente.
Na lógica proposicional, uma condicional (lê-se "se P, então Q") é verdadeira em todos os casos, exceto quando P é verdadeiro e Q é falso. A partir dessa condicional, existem duas inferências válidas:
Modus Ponens (afirmação do antecedente): se é verdadeiro, então é verdadeiro.
Modus Tollens (negação do consequente): se é falso, então é falso.
As falácias ocorrem quando se tenta inferir na direção contrária:
Afirmação do consequente: afirmar e concluir — inválido, pois pode ser verdadeiro por outras razões.
Negação do antecedente: negar e concluir — inválido, pois pode ocorrer mesmo sem .
A banca explora exatamente essas duas falácias nas alternativas incorretas. Vamos analisar cada uma.
Caso
Premissa 1 (P → Q)
Premissa 2
Conclusão
Tipo de Inferência
Validade
A
p → q
q
p
Afirmação do consequente
Inválida
B
p → q
~q
~p
Modus Tollens
Válida
C
p → q
~p
~q
Negação do antecedente
Inválida
D
p → q
q
p
Afirmação do consequente
Inválida
E
p → q
q
p
Afirmação do consequente
Inválida
Regras de inferência (P → Q)
1Válidas
Modus Ponens: afirma P, conclui Q
Modus Tollens: nega Q, conclui não P
2Falácias
Afirmação do consequente: afirma Q, conclui P
Negação do antecedente: nega P, conclui não Q
LEVEL · soulevel.com.br
Alternativa A — ❌ Incorreta
A alternativa A comete a falácia da afirmação do consequente. A estrutura é: (Se chove, então a rua fica molhada), (A rua está molhada), logo (choveu). Isso é inválido, pois a rua pode estar molhada por outros motivos (ex.: caminhão-pipa, mangueira). A regra correta seria: se não ocorreu, então não ocorreu (Modus Tollens), mas aqui se afirma e se conclui , o que é o erro clássico.
Alternativa B — ✅ Correta ⟵ GABARITO
A alternativa B aplica corretamente o Modus Tollens. A estrutura é: (Se estudo, então passo na prova), (Não passei na prova), logo (não estudei). Isso é válido, pois se a consequência não ocorreu, a antecedente não pode ter ocorrido (caso contrário, a condicional seria falsa). É exatamente a regra descrita no enunciado.
Alternativa C — ❌ Incorreta
A alternativa C comete a falácia da negação do antecedente. A estrutura é: (Se João vai ao cinema, então Maria fica em casa), (João não foi ao cinema), logo (Maria não ficou em casa). Isso é inválido, pois Maria pode ficar em casa por outros motivos, independentemente de João ir ao cinema. A negação do antecedente não permite concluir a negação do consequente.
Alternativa D — ❌ Incorreta
A alternativa D comete a falácia da afirmação do consequente. A estrutura é: (Se Ana lê o livro, então ela faz o resumo), (Ana fez o resumo), logo (ela leu o livro). Isso é inválido, pois Ana pode ter feito o resumo sem ter lido o livro (ex.: baseando-se em resumos de terceiros). Afirmar o consequente não permite afirmar o antecedente.
Alternativa E — ❌ Incorreta
A alternativa E também comete a falácia da afirmação do consequente. A estrutura é: (Se o alarme toca, então há incêndio), (Há incêndio), logo (o alarme tocou). Isso é inválido, pois o alarme pode não ter tocado (ex.: falha no sistema) mesmo havendo incêndio. Afirmar o consequente não permite afirmar o antecedente.
NÃO CAIA NESSA!
A banca troca as regras válidas de inferência pelas falácias clássicas. Nas alternativas A, D e E, ela usa a afirmação do consequente (afirma e conclui ), e na alternativa C, a negação do antecedente (nega e conclui ). O candidato desatento pode confundir com o Modus Ponens (afirma e conclui ) ou com o Modus Tollens (nega e conclui ). Fique atento: a única que nega o consequente é a B. 💪
PEGA ESSA DICA!
Para identificar rapidamente o Modus Tollens, procure a estrutura "não Q, logo não P". Nas alternativas, sublinhe a segunda premissa: se ela for a negação do consequente, a conclusão será a negação do antecedente. Treine com questões de lógica de argumentação para fixar o padrão.