Proposições Condicionais — Estudo Aprofundado
Bem-vindo ao Leão Educação. Preparamos esta aula para guiar você, passo a passo, no aprendizado de proposições condicionais. Ao longo desta aula, vamos construir juntos uma base sólida em raciocínio lógico, com teoria, exemplos práticos e exercícios aplicados à rotina de quem presta concursos, em especial os bancários, e ao dia a dia de quem trabalha em agências e repartições ou usa os serviços delas.
🎯 Objetivo e mensagem central
Neste tópico, você vai aprender a ler a condicional em qualquer redação: reconhecer quem é o antecedente e quem é o consequente mesmo quando a frase vem embaralhada (“somente se”, “desde que”, “basta que”, “é necessário que”), dizer o que é condição suficiente e o que é condição necessária e deduzir valores lógicos a partir dela. Para acompanhar, é preciso conhecer a tabela do conectivo → e saber que uma composta é classificada pela última coluna da tabela-verdade, como vimos nos tópicos anteriores.
Para quê? Porque a condicional é o conectivo mais cobrado em provas de raciocínio lógico e o que mais gera erro de leitura. As bancas raramente escrevem “se… então”: preferem “somente se”, “basta”, “é condição necessária”, e uma troca de lado transforma uma afirmação verdadeira em falsa. Dominar a leitura aqui também prepara o terreno para o que vem a seguir no curso: reescritas e negações da condicional e a validade de argumentos dependem de saber exatamente o que ela afirma.
🚦 A única linha falsa
Retomemos a regra de verdade. Na condicional p → q, p é o antecedente (a parte que vem depois do “se”) e q é o consequente (a parte que vem depois do “então”). A tabela abaixo mostra as quatro combinações possíveis.
| p | q | p → q |
|---|---|---|
| V | V | V |
| V | F | F |
| F | V | V |
| F | F | V |
Só a segunda linha é falsa: o antecedente se realiza e o consequente não. A forma mais segura de entender essa regra é pensar na condicional como uma promessa. Quem promete “se p, então q” só quebra a promessa quando p acontece e q não acontece. Se p não acontece, a promessa não foi posta à prova e, por convenção da lógica, não foi descumprida: a condicional é verdadeira.
🔗 Condição suficiente e condição necessária
A condicional p → q pode ser lida de dois pontos de vista. Do lado do antecedente: se p ocorre, q ocorre sem falta, de modo que p basta para garantir q. Do lado do consequente: se q não ocorre, p não pode ter ocorrido, pois q precisa acontecer para p acontecer. Da primeira leitura vem o nome condição suficiente; da segunda, o nome condição necessária.
Um exemplo numérico mostra a diferença. Considere “se n é múltiplo de 6, então n é par”. Ser múltiplo de 6 é suficiente para ser par: basta ser múltiplo de 6 para garantir a paridade. Ser par é necessário para ser múltiplo de 6: nenhum número ímpar é múltiplo de 6. Mas ser par não é suficiente (o 4 é par e não é múltiplo de 6), e ser múltiplo de 6 não é necessário para ser par (o 4, de novo).
Observe na Figura 1 o sentido da seta: ela sai do antecedente, que é a condição suficiente, e chega ao consequente, que é a condição necessária. As expressões em português se distribuem dos dois lados dessa seta.

🗣️ Formas de dizer “se… então” em português
Na prova, a condicional quase nunca vem na forma-padrão. A tabela reúne as redações mais frequentes, todas equivalentes a p → q, com o exemplo p: “n é múltiplo de 6” e q: “n é par”. Em cada linha, confira onde estão p e q.
| Forma | Exemplo | Leitura |
|---|---|---|
| Se p, então q | Se n é múltiplo de 6, então n é par. | forma-padrão |
| Se p, q | Se n é múltiplo de 6, n é par. | “então” omitido |
| q, se p | n é par se n é múltiplo de 6. | “se” marca p, mesmo no fim |
| Quando p, q | Quando n é múltiplo de 6, n é par. | “quando” marca p |
| Sempre que p, q | Sempre que n é múltiplo de 6, n é par. | também “toda vez que” |
| Caso p, q | Caso n seja múltiplo de 6, n é par. | também “desde que” |
| p é condição suficiente para q | Ser múltiplo de 6 é suficiente para ser par. | p é a suficiente |
| Basta p para q | Basta ser múltiplo de 6 para ser par. | “basta” marca p |
| q é condição necessária para p | Ser par é necessário para ser múltiplo de 6. | q é a necessária |
| Para p, é necessário (ou preciso) q | Para ser múltiplo de 6, é necessário ser par. | “necessário” marca q |
| p somente se q | n é múltiplo de 6 somente se n é par. | “somente se” marca q |
| p só se q (ou p apenas se q) | n é múltiplo de 6 só se n é par. | “só se” marca q |
A tabela revela três regras práticas. Primeira: o que vem depois de “se”, “quando”, “sempre que”, “caso”, “desde que” e “basta” é o antecedente, esteja a oração no início ou no fim da frase. Segunda: o que vem depois de “somente se”, “só se” e “apenas se” é o consequente. Terceira: o que é dito “suficiente” é o antecedente, e o que é dito “necessário” é o consequente. Em “ser par é necessário para ser múltiplo de 6”, a parte necessária (ser par) é q, embora apareça na frente na frase.
Em alguns textos, a condicional também é lida como “p implica q”. Nesse uso, a leitura de p → q é a mesma. Mais adiante no curso, o verbo “implicar” ganha um sentido técnico (a implicação lógica p ⇒ q, relação entre proposições); por ora, ele só indica o conectivo.
Um roteiro para traduzir com segurança é o fluxo abaixo.
O teste do terceiro passo é a verificação final: imagine a situação em que a frase é descumprida. Em “o saque é liberado somente se há saldo”, descumprir é liberar o saque sem saldo. Isso mostra que o antecedente é “o saque é liberado” e o consequente é “há saldo”.
🧮 Deduzir valores a partir da condicional
As provas gostam de informar o valor de uma condicional e de uma de suas partes e pedir o valor da outra, ou de uma composta que a contenha. A regra de verdade decide cada caso, como mostra a tabela.
| Informação | Dedução | Por quê |
|---|---|---|
| p → q é F | p = V e q = F | É a única linha falsa. |
| p → q é V e p é V | q = V | Se q fosse F, cairíamos na linha V,F, a única falsa. |
| p → q é V e q é F | p = F | Se p fosse V, cairíamos na linha V,F, a única falsa. |
| p → q é V e p é F | q fica indeterminado | As linhas F,V e F,F são verdadeiras. |
| p → q é V e q é V | p fica indeterminado | As linhas V,V e F,V são verdadeiras. |
Com a condicional verdadeira, as deduções úteis são as da segunda e da terceira linhas: somada a um antecedente verdadeiro, ela obriga o consequente a ser verdadeiro; somada a um consequente falso, obriga o antecedente a ser falso. As duas últimas linhas da tabela alertam para o contrário: antecedente falso ou consequente verdadeiro não permitem concluir nada sobre a outra parte. É a origem de dois erros clássicos, afirmar o consequente e negar o antecedente, que o curso estuda mais adiante, na parte de argumentos.
Veja um exemplo no trabalho. A regra “Se o cliente é correntista, então tem direito ao pacote de tarifas” é verdadeira. Sabe-se que Paulo tem direito ao pacote. Paulo é correntista? Nada se pode afirmar: o consequente é V e o antecedente fica indeterminado (ele pode ter direito por outro motivo). Sabe-se agora que Joana não tem direito ao pacote. Joana é correntista? Não. Com a regra verdadeira e o consequente falso, o antecedente é falso.
↔ Condicional e bicondicional
A bicondicional p ↔ q lê-se “p se e somente se q” e afirma duas coisas ao mesmo tempo: p → q e q → p. Nela, cada uma das partes é condição necessária e suficiente da outra. Por isso, a expressão “condição necessária e suficiente” é a marca da bicondicional, ao passo que “condição suficiente” sozinha, ou “condição necessária” sozinha, é marca da condicional.
| Critério | p → q | p ↔ q |
|---|---|---|
| Leitura | se p, então q | p se e somente se q |
| Papel de p | suficiente para q | necessária e suficiente para q |
| Papel de q | necessária para p | necessária e suficiente para p |
| Valores (VV, VF, FV, FF) | V, F, V, V | V, F, F, V |
| Quando é V | exceto com p = V e q = F | quando p e q têm o mesmo valor |
A comparação mostra que as duas diferem na terceira linha (p = F, q = V): a condicional é verdadeira, e a bicondicional é falsa. Se q pode ocorrer sem p, a condicional vale, mas a bicondicional não, porque ela exige que q também seja suficiente para p.
Para ligar tudo, tomemos o caso de um sistema de agência. A regra interna é: “O cartão é desbloqueado se e somente se o cliente digita a senha correta”. Isso diz que digitar a senha correta é suficiente (basta digitá-la para desbloquear) e também necessário (sem digitá-la, não há desbloqueio). Se a regra fosse apenas “o cartão é desbloqueado se o cliente digita a senha correta”, haveria só a suficiência, e o desbloqueio por outro caminho (por exemplo, biometria) não violaria a regra.
🧭 Revisão
O que você precisa lembrar
- p → q só é falsa com p verdadeiro e q falso; com antecedente falso, a condicional é sempre verdadeira.
- p é condição suficiente para q (antecedente), e q é condição necessária para p (consequente).
- Marcam o antecedente: “se”, “quando”, “sempre que”, “caso”, “desde que”, “basta”. Marcam o consequente: “então”, “somente se”, “só se”, “apenas se”, “é necessário”.
- “p se q” é q → p; “p somente se q” é p → q. A troca de uma palavra inverte a seta.
- Com p → q verdadeira: p = V obriga q = V, e q = F obriga p = F. Antecedente falso ou consequente verdadeiro não permitem deduzir a outra parte.
- Se p → q é falsa, p é V e q é F, e daí se calculam as demais compostas.
- “Condição necessária e suficiente” e “se e somente se” indicam a bicondicional; “suficiente” ou “necessária” sozinhas indicam a condicional.
✍️ Exercícios de revisão
Nível 1 · Recordar
Na condicional p → q, identifique o antecedente e o consequente e diga em que única situação ela é falsa.
Ver resposta comentada
O antecedente é p, a parte que vem depois do “se”, e o consequente é q, a parte que vem depois do “então”. A condicional é falsa somente quando p é verdadeiro e q é falso. Nas outras três combinações, ela é verdadeira.
Complete: em p → q, p é condição ______ para q, e q é condição ______ para p.
Ver resposta comentada
Suficiente; necessária. O antecedente basta para garantir o consequente (suficiente), e o consequente tem de ocorrer para que o antecedente ocorra (necessária).
Cite quatro maneiras diferentes, em português, de escrever p → q.
Ver resposta comentada
Por exemplo: “se p, então q”; “q, se p”; “quando p, q”; “p é condição suficiente para q”; “basta p para q”; “q é condição necessária para p”; “p somente se q”. Quaisquer quatro dessas redações atende, e todas têm o mesmo valor lógico.
Nível 2 · Compreender
Explique por que “p somente se q” é escrita p → q, e não q → p.
Ver resposta comentada
“p somente se q” diz que p só ocorre quando q ocorre: q é indispensável para p. Assim, se p ocorre, q ocorreu, e isso é p → q. Para conferir, pense na situação que quebra a frase: p acontece sem q. Isso é p verdadeiro e q falso, a linha que falsifica p → q. Já q → p seria falsificada por q verdadeiro e p falso, que não violaria “p somente se q”.
Explique, com um exemplo seu, a diferença entre condição suficiente e condição necessária.
Ver resposta comentada
Exemplo: “se o cliente tem mais de 65 anos, então ele tem mais de 18 anos”. Ter mais de 65 anos basta para ter mais de 18 (suficiente). Ter mais de 18 anos é indispensável para ter mais de 65 (necessária), mas não basta para garantir isso: um cliente de 30 anos tem mais de 18 e não tem mais de 65. A suficiente garante o resultado; a necessária é exigência sem a qual o resultado não ocorre, mas, sozinha, não o garante.
Por que “Se o Brasil fica na Europa, então o Sol gira em torno da Terra” é uma proposição verdadeira?
Ver resposta comentada
Porque o antecedente (“o Brasil fica na Europa”) é falso, e a condicional com antecedente falso é verdadeira, qualquer que seja o consequente. A lógica não exige relação de causa entre as partes: a condicional só é falsa quando o antecedente é V e o consequente é F. Como o antecedente nunca se realiza, a promessa nunca é quebrada.
Diferencie “p é condição suficiente para q” de “p é condição necessária e suficiente para q”.
Ver resposta comentada
A primeira é a condicional p → q: p basta para q, mas q pode ocorrer sem p. A segunda é a bicondicional p ↔ q: p basta para q e, além disso, sem p não há q (q → p). Na primeira, a combinação p = F, q = V é admitida; na segunda, não, porque p e q precisam ter o mesmo valor.
Nível 3 · Aplicar
Sejam p: “o cliente apresenta o comprovante” e q: “o cliente recebe o cartão”. Escreva em símbolos: (a) O cliente recebe o cartão desde que apresente o comprovante. (b) O cliente só recebe o cartão se apresentar o comprovante. (c) Apresentar o comprovante é condição necessária para receber o cartão. (d) Basta apresentar o comprovante para receber o cartão. (e) Receber o cartão é condição suficiente para ter apresentado o comprovante. (f) O cliente apresenta o comprovante se recebe o cartão.
Ver resposta comentada
(a) p → q: “desde que” marca o antecedente (apresentar o comprovante).
(b) q → p: “só… se” marca o consequente (apresentar o comprovante).
(c) q → p: a condição necessária é o consequente.
(d) p → q: “basta” marca o antecedente.
(e) q → p: a condição suficiente é o antecedente (receber o cartão).
(f) q → p: “se” marca o antecedente, que aqui é “recebe o cartão”.
Resumo: (a) e (d) são p → q; (b), (c), (e) e (f) são q → p.
Determine o valor lógico de cada proposição: (a) Se 7 é par, então 7 é primo. (b) Se 7 é primo, então 7 é par. (c) Se 9 é primo, então 9 é par. (d) 9 é ímpar somente se 9 é múltiplo de 3. (e) Se 10 é par, então 10 é divisível por 3.
Ver resposta comentada
(a) Antecedente F, consequente V: verdadeira.
(b) Antecedente V (7 é primo), consequente F (7 não é par): falsa.
(c) Antecedente F (9 não é primo), consequente F: verdadeira.
(d) “Somente se” faz da frase p → q, com p: “9 é ímpar” (V) e q: “9 é múltiplo de 3” (V): verdadeira.
(e) Antecedente V (10 é par), consequente F (10 não é divisível por 3): falsa.
Sabe-se que a proposição “se p, então q” é falsa. Determine o valor lógico de: (a) p ∧ q; (b) q → p; (c) ¬p ∨ q; (d) p ↔ q.
Ver resposta comentada
Condicional falsa significa p = V e q = F.
(a) V ∧ F = F.
(b) F → V = V.
(c) ¬p = F, e F ∨ F = F.
(d) V ↔ F = F, pois os valores são diferentes.
Uma agência divulga: “Se o saldo médio for de R$ 1.000,00 ou mais, a tarifa não será cobrada”. Um cliente reclama que a promessa foi descumprida. O que precisa ter acontecido para a reclamação ser procedente?
Ver resposta comentada
Com p: “o saldo médio é de R$ 1.000,00 ou mais” e q: “a tarifa não é cobrada”, a promessa é p → q, que só é falsa com p verdadeiro e q falso. A reclamação procede se o saldo médio foi de R$ 1.000,00 ou mais e a tarifa foi cobrada. Se o saldo era menor, a promessa nada garantia, e a cobrança da tarifa não a violaria.
A regra “Se chove, então a repartição fecha mais cedo” é verdadeira. (a) Hoje a repartição não fechou mais cedo: choveu? (b) Hoje a repartição fechou mais cedo: choveu?
Ver resposta comentada
Com p: “chove” e q: “a repartição fecha mais cedo”, a regra p → q é verdadeira. (a) q é falso, então p precisa ser falso: não choveu, pois, se tivesse chovido, a repartição teria fechado mais cedo. (b) q é verdadeiro, e com consequente V o antecedente fica indeterminado: a repartição pode ter fechado cedo por outro motivo. Nada se pode afirmar sobre a chuva.
Nível 4 · Analisar
Num clube hipotético, Cláudia afirma: “Ter mais de 18 anos é condição necessária para ser sócio”. Bruno afirma: “Quem tem mais de 18 anos é sócio”. Analise as duas afirmações e diga se dizem a mesma coisa.
Ver resposta comentada
Sejam m: “tem mais de 18 anos” e s: “é sócio”. Cláudia diz s → m: ser sócio exige ter mais de 18 anos (a necessária é o consequente). Bruno diz m → s: ter mais de 18 anos basta para ser sócio. As afirmações trocam antecedente e consequente e não dizem a mesma coisa. Se todos os sócios têm mais de 18 anos, mas há quem tenha mais de 18 anos e não seja sócio, a de Cláudia é verdadeira e a de Bruno é falsa. Para que as duas fossem verdadeiras ao mesmo tempo, ter mais de 18 anos teria de ser necessário e suficiente (m ↔ s).
Uma regra de sistema diz: “Se o pagamento foi confirmado, o pedido é liberado”. Quatro registros do dia: (1) confirmado e liberado; (2) não confirmado e liberado; (3) confirmado e não liberado; (4) não confirmado e não liberado. Quais registros violam a regra? Justifique e comente o registro (2).
Ver resposta comentada
Com p: “o pagamento foi confirmado” e q: “o pedido é liberado”, a regra é p → q. Ela só é violada pelo registro (3), que tem p verdadeiro e q falso. Os registros (1), (2) e (4) são compatíveis com a regra. O registro (2) pode surpreender: pedido liberado sem pagamento confirmado. A regra não proíbe isso, porque só diz o que ocorre quando o pagamento é confirmado. Se a empresa quisesse impedir esse registro, deveria escrever “o pedido só é liberado se o pagamento foi confirmado” (q → p) ou “se e somente se”.
Mostre que “A é condição suficiente para B e B é condição suficiente para A” equivale a dizer que A e B têm sempre o mesmo valor lógico. Que conectivo expressa isso?
Ver resposta comentada
A frase é (A → B) ∧ (B → A). A primeira condicional só é falsa com A = V e B = F; a segunda, com A = F e B = V. A conjunção só é verdadeira se nenhuma das duas for falsa, isto é, se não ocorrer nenhuma das combinações em que A e B diferem; sobram A = V, B = V e A = F, B = F. Nesses dois casos os valores são iguais. Esse é o comportamento da bicondicional A ↔ B, cuja coluna é V, F, F, V. Cada uma das partes é, ao mesmo tempo, condição necessária e suficiente da outra.
Um aluno diz: “(p → q) ∨ (q → p) é uma tautologia, mas não faz sentido, porque ‘se está chovendo, então 2 + 2 = 4’ e ‘se 2 + 2 = 4, então está chovendo’ não podem ser ambas verdadeiras”. Analise a objeção.
Ver resposta comentada
A objeção tem dois erros. Primeiro, o conectivo principal é a disjunção, não a conjunção: basta que uma das condicionais seja verdadeira. Segundo, as duas condicionais nunca são falsas ao mesmo tempo: p → q só é falsa com p = V e q = F, e q → p só com q = V e p = F; as duas condições não ocorrem juntas, de modo que ao menos uma é sempre verdadeira. Aliás, em dia de chuva, as duas frases do aluno são verdadeiras. A coluna final é V, V, V, V para as linhas VV, VF, FV, FF, e a composta é tautologia. No exemplo, “se 2 + 2 = 4, então está chovendo” é falsa em dia sem chuva, mas “se está chovendo, então 2 + 2 = 4” é verdadeira, e a disjunção fecha em V. Isso mostra, de novo, que a verdade da condicional não pede relação de causa entre as partes.
Você concluiu o estudo sobre as proposições condicionais e com isso fechou a primeira etapa do curso: reconhecer proposições, traduzi-las, montar tabelas-verdade e classificar compostas. No próximo tópico, que abre a aula de equivalências lógicas, avançaremos para o conceito de equivalência, onde veremos quando duas proposições dizem a mesma coisa; é com ele que, em seguida, a recíproca, a inversa e a contrapositiva da condicional serão comparadas. Continue firme nos estudos!
Os casos apresentados são hipotéticos, elaborados para fins didáticos.