Consequências lógicas
Condicional (se...então) e bicondicional (se e somente se)
A lógica de causa e efeito
No dia a dia, constantemente usamos raciocínios do tipo 'se acontecer X, então Y'. Isso é a condicional.
"Se fizer calor, vou ao shopping" — a ida ao shopping é consequência do calor.
Na lógica formal, escrevemos P → Q (se P, então Q).
Atenção: a condicional NÃO diz o que acontece quando não faz calor! Se não fizer calor, posso ir ou não ir ao shopping — a promessa continua válida.
Tabela verdade da condicional
A condicional só é FALSA em um caso: quando a condição (P) é verdadeira, mas a consequência (Q) é falsa.
"Se fizer calor, vou ao shopping" — análise completa:
Faz calor (V) e fui ao shopping (V) → promessa cumprida (V)
Faz calor (V) e NÃO fui ao shopping (F) → promessa quebrada (F)
NÃO faz calor (F) e fui ao shopping (V) → não prometi nada sobre frio, tudo bem (V)
NÃO faz calor (F) e NÃO fui ao shopping (F) → idem, tudo bem (V)
| P | Q | P → Q |
|---|---|---|
| V | V | V |
| V | F | F |
| F | V | V |
| F | F | V |
A história do Patrick Maia
O professor Patrick Maia ilustra a diferença entre condicional e bicondicional com um exemplo brilhante:
"Você quer ir ao cinema?" (pergunta aberta) é diferente de "Eu o convido para ir ao cinema" (compromisso).
"Se você quiser, vamos ao cinema" → condicional. Se você não quiser, eu posso ir sozinho ou não.
"Vamos ao cinema se e somente se você quiser" → bicondicional. Se você não for, eu também não vou.
A diferença é sutil no português do dia a dia, mas na lógica formal é enorme.
Bicondicional — se e somente se
A bicondicional (P ↔ Q) é verdadeira quando P e Q têm o MESMO valor: ambos verdadeiros ou ambos falsos.
"A lâmpada acende se e somente se o interruptor está ligado" — os dois estados estão completamente vinculados.
Diferença crucial: no "se" (→), a consequência pode acontecer por outros motivos. No "se e somente se" (↔), os dois estão obrigatoriamente ligados.
| P | Q | P ↔ Q |
|---|---|---|
| V | V | V |
| V | F | F |
| F | V | F |
| F | F | V |
Cuidado com falácias lógicas!
Uma falácia clássica: "Deus é amor. O amor é cego. Rei Charles é cego. Logo, Rei Charles é Deus."
Cada passo parece fazer sentido isoladamente, mas a conclusão é absurda. O erro está em tratar relações diferentes como se fossem a mesma coisa.
Na lógica formal, esse tipo de erro é evitado porque as regras são precisas: P → Q não significa Q → P (a recíproca não é necessariamente verdadeira).
"Se é cachorro, então é animal" (V). Mas "Se é animal, então é cachorro"? (F — pode ser um gato!)
Simulador condicional
Digite: V → F, F → V, V ↔ F (use -> e <->)
?Quiz de fixação
01.Se P é verdadeiro e Q é falso, qual o valor de P → Q?
02.Se P é falso, qual o valor de P → Q (qualquer Q)?
03.P ↔ Q é verdadeiro quando:
04."Se é cachorro, então é animal" é verdadeiro. Podemos concluir que "Se é animal, então é cachorro"?
→Próximos passos
Tabela verdade completa
Aprenda a construir tabelas com múltiplas variáveis
Prática com condicionais
Resolva exercícios de condicional e bicondicional
Equivalências lógicas
Descubra como simplificar expressões condicionais