Raciocínio Lógico · FUNDATEC · 2025 | Questão sqc-qg473619

Lógica de Argumentação – Condições Suficiente e Necessária

Gabarito: letra B. A única alternativa que NÃO pode ser inferida das premissas é a que afirma que "Parir é condição necessária para ser mãe", pois as premissas estabelecem apenas que parir é condição suficiente para ser mãe (P → Q), e não o contrário. As demais alternativas são equivalentes à proposição condicional dada.

O argumento apresentado é:

Premissa 1: Se parir, então serei mãe. (P → Q)
Premissa 2: Não sou mãe. (¬Q)
Conclusão: Não pari. (¬P)

Trata-se de um modus tollens, uma forma válida de inferência. A partir da premissa 1, podemos extrair as seguintes relações:

P é condição suficiente para Q — quem para torna-se mãe.
Q é condição necessária para P — para parir, é necessário ser mãe.
Q é consequência de P — ser mãe decorre de parir.

Essas três ideias aparecem nas alternativas A, D e E, respectivamente. Já a alternativa B inverte a relação: afirma que P é condição necessária para Q, ou seja, Q → P (se é mãe, então pariu). Isso não é dado pelas premissas. A alternativa C, por sua vez, nega essa relação inversa, mas também não pode ser inferida, pois não há informação sobre a veracidade ou falsidade de Q → P.

Proposição	Expressão Lógica	Equivalência com P → Q	Inferível?
A: Parir é condição suficiente para ser mãe	P → Q	Sim	Sim
B: Parir é condição necessária para ser mãe	Q → P	Não	Não
C: Parir não é condição necessária para ser mãe	¬(Q → P)	Não	Não (mas não é o gabarito)
D: Ser mãe é condição necessária de parir	Q → P	Não	Não
E: Ser mãe é consequência do ato de parir	P → Q	Sim	Sim

Condições lógicas (P → Q): P = parir (Suficiente para Q (A), Necessário para Q (B)); Q = ser mãe (Necessário para P (D), Consequência de P (E)); Relação inversa (Q → P) (Não inferida (B), Negada, mas não inferida (C))

Alternativa A — ❌ Incorreta (mas inferida)

"Parir é condição suficiente para ser mãe."

Corresponde exatamente a P → Q, a primeira premissa. Logo, pode ser inferida.

Alternativa B — ✅ Correta (não pode ser inferida) ⟵ GABARITO

"Parir é condição necessária para ser mãe."

Isso equivale a Q → P (se é mãe, então pariu). As premissas não estabelecem essa relação, portanto não pode ser inferida.

Alternativa C — ❌ Incorreta (mas também não é inferida)

"Parir não é condição necessária para ser mãe."

Isso nega a relação inversa (¬(Q → P)). As premissas não fornecem elementos para afirmar ou negar essa proposição; ela não é uma consequência lógica do argumento. Contudo, o gabarito considera que a única que expressa uma condição não inferida é a B, já que C é uma negação que também não se deduz, mas a banca deliberou que a resposta é B (provavelmente por ser a mais direta e comum de ser confundida).

Alternativa D — ❌ Incorreta (mas inferida)

"Ser mãe é condição necessária de parir."

Equivale a P → Q (se parir, então é mãe). Mesmo conteúdo da premissa 1. Pode ser inferida.

Alternativa E — ❌ Incorreta (mas inferida)

"Ser mãe é uma consequência do ato de parir."

Reafirma P → Q. Pode ser inferida.

NÃO CAIA NESSA!

A banca explora a confusão clássica entre condição suficiente e condição necessária. Enquanto "Parir é condição suficiente para ser mãe" (A) é a própria premissa, "Parir é condição necessária para ser mãe" (B) é o converso — não derivável. Lembre-se: na condicional P → Q, P é suficiente para Q e Q é necessária para P. Trocar os papéis é o erro mais comum nesse tipo de questão.

Gabarito: letra B.