Conjuntos e lógica proposicional (em inglês: set theory and propositional logic)
Lógica e Conjuntos
Por que "todos os cachorros são animais" não significa que "todos os animais são cachorros" — e como esse tipo de erro leva a conclusões absurdas que parecem razoáveis.
🔵 Verdadeiro ou Falso? — teste de lógica
Todos os cachorros são animais.
Logo, todos os animais são cachorros.
Se chove, o chão fica molhado. O chão está molhado. Logo, choveu.
Se chove, o chão fica molhado. O chão não está molhado. Logo, não choveu.
Todo número par é divisível por 2. 8 é par. Logo, 8 é divisível por 2.
Conjuntos: coleções de elementos
A teoria dos conjuntos (em inglês: set theory) é a base de toda a matemática moderna. Um conjunto é qualquer coleção bem definida de objetos — números, letras, pessoas, ideias.
O conjunto dos mamíferos contém o conjunto dos cachorros — cada cachorro é um mamífero. Dizemos que "cachorros" é um subconjunto (em inglês: subset) de "mamíferos", escrito como Cachorros ⊂ Mamíferos.
📐 Operações básicas com conjuntos
Subconjunto (⊂): A ⊂ B significa que todo elemento de A também está em B.
União (∪): A ∪ B contém todos os elementos que estão em A ou em B (ou em ambos).
Interseção (∩): A ∩ B contém apenas os elementos que estão em A e em B simultaneamente.
Diferença (∖): A ∖ B contém os elementos que estão em A mas não em B.
Complemento (Aᶜ): todos os elementos que não estão em A.
Subconjunto não implica igualdade
O erro mais comum com conjuntos: confundir "A ⊂ B" com "A = B". Cachorros ⊂ Animais é verdadeiro. Animais ⊂ Cachorros é falso — existem animais que não são cachorros.
Em termos matemáticos: A ⊂ B significa que toda afirmação válida para B também é válida para A (na direção contrária), mas não o oposto. Invertendo a direção, podemos chegar a conclusões completamente erradas.
Lógica proposicional: "se A então B"
Uma proposição condicional (em inglês: conditional statement) tem a forma "Se P, então Q" — escrita como P → Q. Aqui P é a hipótese (antecedente) e Q é a conclusão (consequente).
Exemplo: "Se está chovendo (P), então o chão está molhado (Q)." P → Q.
Dessa proposição, podemos extrair quatro versões — e é crucial saber quais são logicamente equivalentes:
📐 As quatro formas da condicional
| Forma | Exemplo | Equivalente à original? |
|---|---|---|
| Original: P → Q | Se chove → chão molhado | ✓ (a própria) |
| Contrapositiva: ¬Q → ¬P | Se não molhado → não choveu | ✓ Equivalente |
| Inversa: ¬P → ¬Q | Se não choveu → não molhado | ✗ Não equivalente |
| Recíproca: Q → P | Se molhado → choveu | ✗ Não equivalente |
Falácias lógicas comuns
Falácia da afirmação do consequente (em inglês: affirming the consequent): "Se chove, o chão fica molhado. O chão está molhado. Logo, choveu." Errado — pode ter sido uma torneira. Confunde Q → P com P → Q.
Falácia da negação do antecedente (em inglês: denying the antecedent): "Se chove, o chão fica molhado. Não está chovendo. Logo, o chão não está molhado." Errado — pode estar molhado por outra razão. Confunde ¬P → ¬Q com P → Q.
Condição necessária vs condição suficiente
Uma das distinções mais importantes em lógica — e mais ignoradas:
Condição suficiente: se P → Q, então P é suficiente para Q. Chuva é suficiente para molhar o chão.
Condição necessária: se Q → P, então P é necessário para Q. Mas ter o chão molhado não é necessariamente causado por chuva.
Na loteria: comprar um bilhete é condição necessária para ganhar (sem bilhete, impossível ganhar). Mas não é condição suficiente (ter bilhete não garante vitória). Confundir necessário com suficiente é um erro lógico clássico.
Resumindo em 4 pontos
- A ⊂ B (A é subconjunto de B) não implica B ⊂ A — a relação de subconjunto tem direção.
- "Se P então Q" (P → Q) é equivalente a "Se não Q então não P" (¬Q → ¬P), mas não ao contrário.
- Condição necessária ≠ condição suficiente — ter bilhete é necessário, mas não suficiente para ganhar.
- As falácias da afirmação do consequente e da negação do antecedente são erros lógicos muito comuns.