Questão de Raciocínio Lógico — Fundamentos de Lógica — FGV 2025
Raciocínio Lógico›Fundamentos de Lógica
Código
fg124142
Banca
FGV
Órgão
AgSUS
Ano
2025
Nível
Superior
Considere a afirmação: “Se não está chovendo então Milton saiu para caminhar”.Uma sentença logicamente equivalente é:
ASe Milton saiu para caminhar então não está chovendo.
BSe está chovendo então Milton não saiu para caminhar.
CMilton não saiu para caminhar ou está chovendo.
DEstá chovendo e Milton saiu para caminhar.
EEstá chovendo ou Milton saiu para caminhar.
Revelar gabarito e comentário▾
GabaritoE — Está chovendo ou Milton saiu para caminhar.
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”.
Equivalência Lógica da Condicional
Gabarito: letra E. A proposição "Se não está chovendo então Milton saiu para caminhar" (¬p → q) é logicamente equivalente a "Está chovendo ou Milton saiu para caminhar" (p ∨ q), conforme a equivalência fundamental: p → q ≡ ¬p ∨ q (a condicional equivale à disjunção entre a negação do antecedente e o consequente).
A banca testa o conhecimento da equivalência da condicional com a disjunção inclusiva. A sentença original tem a forma ¬p → q. Aplicando a regra, obtemos ¬(¬p) ∨ q = p ∨ q.
p (está chovendo)
q (Milton saiu para caminhar)
¬p → q (original)
p ∨ q (alternativa E)
V
V
V
V
V
F
V
V
F
V
V
V
F
F
F
F
Alternativa A — ❌ Incorreta
"Se Milton saiu para caminhar então não está chovendo" (q → ¬p) é a recíproca da condicional original, não equivalente.
Alternativa B — ❌ Incorreta
"Se está chovendo então Milton não saiu para caminhar" (p → ¬q) é a inversa (nega ambos os termos), também não equivalente.
Alternativa C — ❌ Incorreta
"Milton não saiu para caminhar ou está chovendo" (¬q ∨ p) equivale a q → p, que é a recíproca da recíproca? Na verdade, é equivalente a q → p (condicional com antecedente e consequente trocados). Não é equivalente.
Alternativa D — ❌ Incorreta
"Está chovendo e Milton saiu para caminhar" (p ∧ q) é uma conjunção, não equivalente a uma condicional.
Alternativa E — ✅ Correta ⟵ GABARITO
"Está chovendo ou Milton saiu para caminhar" (p ∨ q) é exatamente a disjunção obtida pela equivalência da condicional. Confirmando: ¬p → q ≡ p ∨ q.
PEGA ESSA DICA!
Memorize as duas equivalências fundamentais da condicional:
p → q ≡ ¬p ∨ q (nega o antecedente, mantém o consequente, troca → por ∨)
p → q ≡ ¬q → ¬p (contrapositiva)
Na prova, ao encontrar "se não A então B", pense imediatamente em "A ou B".