Pular para o conteúdo principal

Questão de Raciocínio Lógico — Equivalência Lógica e Negação de Proposições — FGV 2024

Raciocínio LógicoEquivalência Lógica e Negação de Proposições
Código
fg091430
Banca
FGV
Órgão
Prefeitura de Nova Iguaçu - RJ
Ano
2024
Nível
Superior
Cargo
Auditor Fiscal do Tesouro Municipal
A proposição “Se hoje é domingo, então pelo menos uma padaria está fechada” é logicamente equivalente a
  1. A“Se todas as padarias estão abertas, então hoje não é domingo”.
  2. B“Se todas as padarias estão fechadas, então hoje não é domingo”.
  3. C“Se hoje não é domingo, então todas as padarias estão abertas”.
  4. D“Se hoje não é domingo, então todas as padarias estão fechadas”.
  5. E“Hoje é domingo e nenhuma padaria está fechada”.
Revelar gabarito e comentário

GabaritoA — “Se todas as padarias estão abertas, então hoje não é domingo”.

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 de uma Condicional

Gabarito: letra A. A proposição original “Se hoje é domingo, então pelo menos uma padaria está fechada” é uma condicional do tipo pqp \rightarrow q, em que:

  • pp: “hoje é domingo”

  • qq: “pelo menos uma padaria está fechada”

A equivalência clássica da condicional é a contrapositiva: pqqpp \rightarrow q \equiv \sim q \rightarrow \sim p. Ou seja, negam-se ambos os componentes e inverte-se a ordem. Aplicando isso: q\sim q = “nenhuma padaria está fechada” = “todas as padarias estão abertas”. p\sim p = “hoje não é domingo”. Logo, a equivalente é: “Se todas as padarias estão abertas, então hoje não é domingo”, exatamente a alternativa A.

p (hoje é domingo)

q (pelo menos uma padaria está fechada)

p → q (original)

~q (nenhuma padaria está fechada = todas abertas)

~p (hoje não é domingo)

~q → ~p (contrapositiva = alternativa A)

V

V

V

F

F

V

V

F

F

V

F

F

F

V

V

F

V

V

F

F

V

V

V

V

Equivalência da condicional
  • 1Contrapositiva (p → q ≡ ~q → ~p)
    • Se todas abertas → não é domingo
    • Se todas fechadas → não é domingo
  • 2Inversa (~p → ~q)
    • Se não é domingo → todas abertas
    • Se não é domingo → todas fechadas
  • 3Negação (p ∧ ~q)
    • Hoje é domingo e nenhuma fechada
LEVEL · soulevel.com.br

Alternativa A — ✅ Correta ⟵ GABARITO

É a contrapositiva da proposição original: qp\sim q \rightarrow \sim p, com a correta negação do quantificador “pelo menos uma” para “nenhuma” (equivalente a “todas abertas”).

Alternativa B — ❌ Incorreta

Afirma “Se todas as padarias estão fechadas, então hoje não é domingo”. O antecedente “todas as padarias estão fechadas” é uma afirmação mais forte que a negação de qq (que seria “nenhuma está fechada”). A banca troca o quantificador corriqueiramente: “pelo menos uma” vira “todas” no sentido errado. A contrapositiva exige a negação exata.

Alternativa C — ❌ Incorreta

“Se hoje não é domingo, então todas as padarias estão abertas” corresponde à inversa (pq\sim p \rightarrow \sim q), que não é equivalente à condicional original.

Alternativa D — ❌ Incorreta

“Se hoje não é domingo, então todas as padarias estão fechadas” também é uma inversa (p\sim p \rightarrow algo mais forte que q\sim q), sem equivalência lógica.

Alternativa E — ❌ Incorreta

“Hoje é domingo e nenhuma padaria está fechada” é pqp \wedge \sim q, que é exatamente a negação da condicional ((pq)\sim(p \rightarrow q)), não uma equivalência.

NÃO CAIA NESSA!

A banca explora a confusão entre “pelo menos uma padaria está fechada” e “todas as padarias estão fechadas”. Lembre-se: a negação de “pelo menos um” é “nenhum”, que equivale a “todos … não” (no caso, “todas as padarias estão abertas”). Na contrapositiva, o antecedente deve ser a negação do consequente original.

PEGA ESSA DICA!

Sempre que precisar da equivalente de uma condicional, aplique a contrapositiva: negue as duas partes e inverta a ordem. Outra ferramenta é transformar em disjunção: pqpqp \rightarrow q \equiv \sim p \lor q, mas cuidado com os quantificadores.

MNEMÔNICO
NEYMAR
MA(R)MAntém a segunda parte (o que vem depois do ENTÃO). Assim, P→Q equivale a ~P ∨ Q ('não P ou Q'). NE = NEga a primeira parte da proposição (o que está entre o SE e o ENTÃO)Ya letra Y traz no topo o símbolo 'V', que representa a disjunção 'OU' (∨), ou seja, troca-se a condicional pelo 'ou'
Equivalência do condicional (Se...então) → disjunção

Gabarito: letra A.

Link permanente: /questoes/fg091430