A condicional na lógica proposicional é a afirmação “se p, então q”, representada por p → q.
Para resolver questões de concursos, você precisa reconhecer a direção dessa relação, distinguir condição necessária e suficiente e identificar quais mudanças preservam seu significado.
Nesta aula, você aprenderá a interpretar “se” e “somente se” e a comparar a condicional com sua recíproca, inversa e contrapositiva, com exemplos e exercícios comentados.
1. Como funciona a condicional “se p, então q”?
Na expressão p → q, cada parte tem uma função.
- p é o antecedente, a condição apresentada.
- q é o consequente, o que se afirma quando essa condição é satisfeita.
Considere a afirmação “Se um número inteiro é múltiplo de 4, então ele é par.”
- p = “O número é múltiplo de 4.”
- q = “O número é par.”
A tradução é p → q. A frase estabelece uma direção. Ser múltiplo de 4 garante ser par.
Quando a condicional é falsa?
A condicional só é falsa quando o antecedente é verdadeiro e o consequente é falso.
| p | q | p → q |
|---|---|---|
| V | V | V |
| V | F | F |
| F | V | V |
| F | F | V |
Para contrariar a afirmação do exemplo, seria necessário encontrar um número inteiro que fosse múltiplo de 4 e não fosse par.
Quando p é falsa, a condicional recebe V na tabela-verdade. A afirmação estabelece o que ocorre quando p é verdadeira e deixa em aberto o resultado de q quando p é falsa.
2. O que é condição suficiente?
Uma condição é suficiente quando sua ocorrência basta para garantir outra. Em p → q, dizemos que p é condição suficiente para q.
No exemplo, ser múltiplo de 4 é suficiente para ser par. Ao descobrir que um número é múltiplo de 4, já podemos concluir que ele é par.
Observe o número 8. Como ele é múltiplo de 4, a condição p foi satisfeita e podemos concluir q.
Em uma condicional verdadeira, o antecedente é suficiente para o consequente.
3. O que é condição necessária?
Uma condição é necessária quando sua presença é exigida para que outra possa ocorrer. Em p → q, dizemos que q é condição necessária para p.
No exemplo, ser par é necessário para ser múltiplo de 4. Todo múltiplo de 4 precisa ser par.
Porém, saber apenas que um número é par deixa aberta a possibilidade de ele ser ou não múltiplo de 4. O número 6 é par, mas não é múltiplo de 4.
| Relação | Como interpretar |
|---|---|
| p é suficiente para q | Quando p ocorre, q está garantida. |
| q é necessária para p | Para p ocorrer, q precisa ocorrer. |
Como traduzir frases com “necessária” e “suficiente”
| Frase | Tradução |
|---|---|
| p é suficiente para q. | p → q |
| q é necessária para p. | p → q |
| p é necessária para q. | q → p |
| q é suficiente para p. | q → p |
Atenção à ordem das palavras
A expressão “p é necessária para q” coloca p depois da seta, pois q exige p. Sua tradução é q → p.
4. Como interpretar “se” e “somente se”?
Essas expressões indicam direções diferentes.
“p se q”
A frase “p se q” pode ser reorganizada como “se q, então p”.
Considere “O alarme toca se o sensor detecta movimento.”
- p = “O alarme toca.”
- q = “O sensor detecta movimento.”
Reorganizando, temos “Se o sensor detecta movimento, então o alarme toca”. A tradução é q → p.
“p somente se q”
A frase “p somente se q” apresenta q como uma exigência para p.
Considere “O candidato entra na sala somente se apresenta documento.”
- p = “O candidato entra na sala.”
- q = “O candidato apresenta documento.”
Se o candidato entrou, então apresentou documento. A tradução é p → q.
A apresentação do documento é necessária para entrar. A frase permite que existam outras exigências, como chegar dentro do horário.
| Forma da frase | Tradução |
|---|---|
| Se p, então q. | p → q |
| q se p. | p → q |
| p somente se q. | p → q |
| p se q. | q → p |
| q somente se p. | q → p |
“Se, e somente se”
Quando aparece “p se, e somente se, q”, temos a bicondicional p ↔ q.
Ela afirma p → q e q → p. Nesse caso, p é condição necessária e suficiente para q, e q também é necessária e suficiente para p.
Um exemplo é “Um número inteiro é par se, e somente se, é divisível por 2.”
5. Recíproca, inversa e contrapositiva
Partindo de p → q, podemos construir outras três expressões.
| Nome | O que fazemos | Expressão |
|---|---|---|
| Original | Mantemos a condicional. | p → q |
| Recíproca | Trocamos as posições. | q → p |
| Inversa | Negamos as duas proposições e mantemos as posições. | ¬p → ¬q |
| Contrapositiva | Trocamos as posições e negamos as duas proposições. | ¬q → ¬p |
Vamos aplicar essas operações ao exemplo dos números inteiros.
Condicional original — p → q
“Se um número é múltiplo de 4, então é par.”
Recíproca — q → p
“Se um número é par, então é múltiplo de 4.”
O número 6 mostra que a recíproca é falsa, embora a afirmação original seja verdadeira.
Inversa — ¬p → ¬q
“Se um número não é múltiplo de 4, então não é par.”
O número 6 também contraria essa afirmação. Ele não é múltiplo de 4, mas é par.
Contrapositiva — ¬q → ¬p
“Se um número não é par, então não é múltiplo de 4.”
Essa afirmação preserva o significado lógico da original. Um número que não é par não pode ser múltiplo de 4.
6. Quais expressões são equivalentes?
Duas expressões são logicamente equivalentes quando apresentam o mesmo resultado em todas as combinações de valores.
A condicional é equivalente à sua contrapositiva.
A recíproca é equivalente à inversa.
O símbolo ≡ indica equivalência lógica. Confira os resultados na tabela. Em telas pequenas, deslize o quadro para os lados.
| p | q | Originalp → q | Recíprocaq → p | Inversa¬p → ¬q | Contrapositiva¬q → ¬p |
|---|---|---|---|---|---|
| V | V | V | V | V | V |
| V | F | F | V | V | F |
| F | V | V | F | F | V |
| F | F | V | V | V | V |
As colunas da original e da contrapositiva coincidem. As colunas da recíproca e da inversa também coincidem.
Para obter uma equivalente da condicional por contraposição, faça as duas operações juntas. Troque as posições e negue ambas as proposições.
7. Pegadinhas da condicional em concursos
Concluir p apenas porque q aconteceu
Partindo de “Se é múltiplo de 4, então é par”, descobrir que um número é par deixa sua condição de múltiplo de 4 em aberto.
O número pode ser 8, que é múltiplo de 4, ou 6, que não é.
Concluir ¬q apenas porque p não aconteceu
Descobrir que um número não é múltiplo de 4 também deixa em aberto se ele é par. Ele pode ser 6, que é par, ou 7, que é ímpar.
Confundir contrapositiva com negação
A contrapositiva mantém o significado da condicional. Já negar p → q significa afirmar que a situação que a torna falsa aconteceu.
Por exemplo, a negação de “Se Ana foi convocada, então foi aprovada” é “Ana foi convocada e não foi aprovada.”
Você estudará a negação de proposições compostas em mais detalhes na Aula 6.
8. Resumo para memorizar
Use este quadro para revisar as relações antes de resolver os exercícios.
| Conceito | Regra |
|---|---|
| Condição suficiente | p é suficiente para q. |
| Condição necessária | q é necessária para p. |
| Recíproca | q → p |
| Inversa | ¬p → ¬q |
| Contrapositiva | ¬q → ¬p, equivalente à original. |
| Negação | p ∧ ¬q |
| Único caso falso | p verdadeira e q falsa. |
Considerando p → q verdadeira, estas são as conclusões possíveis.
| Informação conhecida | O que podemos concluir |
|---|---|
| p é verdadeira. | q é verdadeira. |
| q é falsa. | p é falsa. |
| q é verdadeira. | p pode ser verdadeira ou falsa. |
| p é falsa. | q pode ser verdadeira ou falsa. |
9. Exercícios com respostas comentadas
Questões autorais para revisar a aula. Tente resolver antes de abrir as respostas.
Exercício 1 — Condição necessária e suficiente
Considere verdadeira a afirmação “Se uma pessoa foi nomeada, então foi aprovada.”
Complete as frases.
- Ser nomeada é condição __________ para ter sido aprovada.
- Ter sido aprovada é condição __________ para ser nomeada.
Ver resolução do exercício 1 Ocultar resolução do exercício 1
Suficiente e necessária.
A nomeação está antes da seta e a aprovação está depois.
Considerando a afirmação dada, saber que houve nomeação basta para concluir que houve aprovação. A aprovação, por sua vez, é exigida para que tenha ocorrido a nomeação.
Exercício 2 — Somente se
Considere p = “O sistema libera o acesso” e q = “A senha está correta”.
Traduza “O sistema libera o acesso somente se a senha está correta.”
Ver resolução do exercício 2 Ocultar resolução do exercício 2
p → q.
“Somente se” apresenta a senha correta como uma exigência para a liberação. A leitura reorganizada é “Se o sistema libera o acesso, então a senha está correta.”
Exercício 3 — Transformações da condicional
Escreva a recíproca, a inversa e a contrapositiva de “Se Carla trabalha, então Carla recebe salário.”
Depois, indique qual delas é equivalente à original.
Ver resolução do exercício 3 Ocultar resolução do exercício 3
A contrapositiva é equivalente à original.
- Recíproca — “Se Carla recebe salário, então Carla trabalha.”
- Inversa — “Se Carla não trabalha, então Carla não recebe salário.”
- Contrapositiva — “Se Carla não recebe salário, então Carla não trabalha.”
A contrapositiva troca as posições e nega as duas proposições. Sua expressão é ¬q → ¬p.
Exercício 4 — É possível concluir?
Considere verdadeira a afirmação “Se Pedro foi nomeado, então foi aprovado.”
Sabendo que Pedro foi aprovado, podemos concluir que ele foi nomeado? Justifique.
Ver resolução do exercício 4 Ocultar resolução do exercício 4
A nomeação permanece indeterminada.
A afirmação estabelece Nomeação → Aprovação. Saber que Pedro foi aprovado informa que o consequente é verdadeiro.
A condicional admite tanto p = V e q = V quanto p = F e q = V. Pedro pode ter sido nomeado ou ainda estar aguardando uma nomeação.
Para concluir a nomeação a partir da aprovação, seria necessária uma informação adicional que garantisse essa direção.
Perguntas frequentes sobre condicional na lógica
Qual é a diferença entre condição necessária e suficiente?
Em uma condicional verdadeira p → q, p é suficiente para q, pois basta p ocorrer para garantir q. Já q é necessária para p, pois p exige q. Por exemplo, ser múltiplo de 4 é suficiente para ser par, e ser par é necessário para ser múltiplo de 4.
Como traduzir “se”, “somente se” e “se e somente se”?
“p se q” corresponde a q → p. “p somente se q” corresponde a p → q. Já “p se, e somente se, q” corresponde a p ↔ q e afirma as duas direções.
Qual é a diferença entre recíproca, inversa e contrapositiva?
Partindo de p → q, a recíproca é q → p, a inversa é ¬p → ¬q e a contrapositiva é ¬q → ¬p. A original e a contrapositiva são equivalentes. A recíproca e a inversa também são equivalentes entre si.
Quando uma condicional é falsa e qual é sua negação?
A condicional p → q só é falsa quando p é verdadeira e q é falsa. Por isso, sua negação é p ∧ ¬q. A negação afirma exatamente a situação que torna falsa a condicional.
Se q for verdadeira, posso concluir p a partir de p → q?
A informação deixa p indeterminada. Uma condicional verdadeira admite tanto p = V e q = V quanto p = F e q = V. Se “Nomeação → Aprovação” é verdadeira, saber apenas que houve aprovação deixa em aberto se houve nomeação.
