Condição suficiente × necessária: não confunda (se…então)
Em p → q, o p é condição suficiente e o q é condição necessária. Com a tabela de traduções (somente se, só se, quando, todo) e itens CESPE certo/errado que invertem os papéis.
A diferença nuclear cabe em uma linha: no condicional p → q, o p (antes da seta) é a condição suficiente e o q (depois da seta) é a condição necessária. Basta p acontecer para q acontecer; e q tem de estar lá sempre que p estiver. A banca não muda isso. O que ela faz é escrever a frase em português de um jeito que inverte a ordem das palavras ("somente se", "é necessário que") e esperar que você inverta a seta junto.
A regra em uma tabela
| No condicional p → q | Papel | Leitura | Exemplo: "Se chove, a rua molha" |
|---|---|---|---|
| p (antecedente) | Condição suficiente | "Basta p para q" | Chover basta para a rua molhar |
| q (consequente) | Condição necessária | "Sem q, não há p" | Rua molhada é indispensável para ter chovido |
Teste visual: desenhe a seta e lembre que a suficiente fica antes, a necessária fica depois. Para checar, pergunte: "se q não ocorreu, p pode ter ocorrido?" Se a resposta for não, q é necessária para p. Pela contrapositiva (¬q → ¬p): rua seca, então não choveu.
E repare no que a regra não diz: a rua molhada não basta para concluir que choveu (pode ter sido o caminhão-pipa). A necessária não é suficiente, salvo quando a banca diz isso explicitamente.
As traduções que a banca usa para esconder a seta
Todas as frases abaixo são o mesmo condicional p → q. Decore a coluna da direita: é ela que impede o erro de sentido.
| Frase no enunciado | Formalização | Por que |
|---|---|---|
| Se p, então q | p → q | Forma padrão |
| q, se p | p → q | O "se" marca o antecedente, mesmo no fim da frase |
| Quando p, q / Sempre que p, q | p → q | "Quando" funciona como "se" |
| p é condição suficiente para q | p → q | Suficiente vai antes da seta |
| q é condição necessária para p | p → q | Necessária vai depois da seta |
| p somente se q / p só se q | p → q | "Somente se" aponta para o consequente |
| Todo P é Q | ser P → ser Q | Ser P basta para ser Q |
O ponto mais cobrado é a diferença entre "se" e "somente se":
| Expressão | O que vem depois dela é… | Formalização de "A ___ B" |
|---|---|---|
| A, se B | antecedente (suficiente) | B → A |
| A somente se B | consequente (necessária) | A → B |
"Vou à praia se fizer sol" diz que sol basta (sol → praia). "Vou à praia somente se fizer sol" diz que sol é exigido (praia → sol). São proposições diferentes, e a banca troca uma pela outra.
Necessária e suficiente ao mesmo tempo: o bicondicional
Quando a condição é as duas coisas, a seta vira dupla.
| Situação | Conectivo | Frase típica |
|---|---|---|
| p suficiente para q | p → q | "Se p, então q" |
| p necessária para q | q → p | "q somente se p" |
| p necessária e suficiente para q | p ↔ q | "p se e somente se q" |
O bicondicional p ↔ q equivale a (p → q) ∧ (q → p): é a soma das duas setas. Por isso ele só é verdadeiro quando p e q têm o mesmo valor lógico.
O que dá para concluir (e o que não dá)
Saber quem é a suficiente e quem é a necessária resolve a questão de argumento sem tabela-verdade. Premissa: p → q.
| Você sabe que… | Conclusão | Nome |
|---|---|---|
| p ocorreu (a suficiente) | q ocorreu | Modus ponens: válido |
| q não ocorreu (faltou a necessária) | p não ocorreu | Modus tollens: válido |
| q ocorreu | nada sobre p | Afirmar o consequente: falácia |
| p não ocorreu | nada sobre q | Negar o antecedente: falácia |
As duas linhas de baixo são as pegadinhas clássicas. Ter a condição necessária não garante nada. Faltar a condição suficiente também não garante nada.
Itens no estilo CESPE: certo ou errado?
1. Considere a proposição "Se Pedro é auditor da Receita, então Pedro é servidor público". Daí, é correto afirmar que ser servidor público é condição suficiente para Pedro ser auditor da Receita.
ERRADO. A palavra-armadilha é "suficiente", colocada no termo errado. "Servidor público" está depois da seta, então é a condição necessária. Suficiente é ser auditor. A banca só inverteu os papéis.
2. A proposição "João será nomeado somente se for aprovado no concurso" pode ser corretamente representada por A → N, em que A é "João é aprovado no concurso" e N é "João será nomeado".
ERRADO. A armadilha é o "somente se". Ele marca o consequente: a aprovação é necessária para a nomeação. A forma correta é N → A. Ser aprovado não basta para ser nomeado (há cadastro de reserva, ordem de classificação), mas ninguém é nomeado sem ter sido aprovado.
3. De acordo com a Constituição Federal, ser brasileiro nato é condição necessária para ocupar o cargo de Presidente da República.
CERTO. O art. 12, § 3º, I, da CF reserva o cargo de Presidente ao brasileiro nato. Logo, vale "Se é Presidente, então é brasileiro nato". Ser brasileiro nato está depois da seta: é necessário, mas não suficiente. Se o item dissesse "condição suficiente", estaria errado.
4. A negação de "Estudar todos os dias é condição suficiente para ser aprovado" é "Estuda-se todos os dias e não se é aprovado".
CERTO. A frase é E → A, e a negação do condicional é ¬(p → q) ≡ p ∧ ¬q: mantém o antecedente, nega o consequente e troca a seta por "e". O erro que a banca planta aqui é "Se não estuda, não é aprovado", que não é negação de nada.
O antídoto em uma frase
Suficiente vai antes da seta, necessária vai depois. "Se" abre o antecedente; "somente se" abre o consequente.
Antes de marcar, reescreva a frase do enunciado na forma "Se ___, então ___". Feito isso, os papéis aparecem sozinhos e a inversão da banca fica visível.
Depois de ler, treine: faça o simulado de Equivalências e Argumentos e o de Lógica Proposicional, e veja se você já formaliza "somente se" sem hesitar. Para revisar conectivos, De Morgan e contrapositiva, leia também proposições lógicas e tabela-verdade. Para as regras de inferência em detalhe, veja lógica de argumentação.
Raciocínio lógico se resolve enxergando a estrutura, não relendo a frase até ela fazer sentido. No Raciocínio Lógico-Matemático Completo (R$ 39,00, ou R$ 33,15 com o cupom PRIMEIRA15 de 15% na primeira compra), condicional, bicondicional, equivalências e argumentos vêm em mapa visual, com a pegadinha da banca já marcada e questões autorais no padrão CESPE/FGV/FCC comentadas passo a passo. Estude com os olhos e pare de inverter a seta.
continue lendo