# 🆕 Raciocínio Lógico — Tópicos Novos do Edital IDECAN 2026
> Conteúdo exclusivo dos temas que **não existiam** no edital de 2022.
> Calibrado para o estilo IDECAN com pegadinhas e questões modelo.

---

## 1. Implicações Lógicas

### Diferença entre Equivalência e Implicação

| Conceito | Símbolo | Significado |
|---|---|---|
| **Equivalência lógica** | p ⟺ q | p e q têm **sempre o mesmo** valor lógico |
| **Implicação lógica** | p ⊨ q | Sempre que p for V, q **necessariamente** é V |

A implicação lógica **não** é um conectivo — é uma **relação entre proposições**.

> p **implica logicamente** q quando a condicional `p → q` é uma **tautologia**.

### Implicações importantes (decorar para prova)

| Implicação | Nome |
|---|---|
| `p ∧ q ⊨ p` | Simplificação |
| `p ∧ q ⊨ q` | Simplificação |
| `p ⊨ p ∨ q` | Adição |
| `p → q, p ⊨ q` | **Modus Ponens** |
| `p → q, ~q ⊨ ~p` | **Modus Tollens** |
| `p → q, q → r ⊨ p → r` | **Silogismo Hipotético** |

### Equivalências importantes (decorar para prova)

| Equivalência | Nome |
|---|---|
| `p → q ⟺ ~p ∨ q` | Definição da condicional |
| `p → q ⟺ ~q → ~p` | **Contrapositiva** |
| `~(p ∧ q) ⟺ ~p ∨ ~q` | **De Morgan** |
| `~(p ∨ q) ⟺ ~p ∧ ~q` | **De Morgan** |
| `p ↔ q ⟺ (p → q) ∧ (q → p)` | Definição do bicondicional |

**⚠️ Pegadinha IDECAN:** A **contrapositiva** de "Se p então q" é "Se ~q então ~p" — tem o **mesmo valor lógico** que o original. Já a **inversa** ("Se ~p então ~q") e a **recíproca** ("Se q então p") **não** são equivalentes ao original.

---

## 2. Lógica de Situações (Raciocínio Analítico)

Este é o tipo mais comum em provas IDECAN/CESPE. Envolve montar um quadro de relações a partir de condições dadas.

### Estratégia de resolução

1. **Liste** todas as entidades (pessoas, objetos, posições)
2. **Monte uma grade** (tabela ou lista de possibilidades)
3. **Aplique as restrições** uma por uma
4. **Elimine** o que contradiz as condições
5. **Deduza** o que sobra

### Exemplo modelo

> Ana, Bruno, Carlos e Diana trabalham em 4 andares diferentes (1º, 2º, 3º e 4º). Sabe-se que:
> - Ana não trabalha no 1º andar
> - Bruno trabalha acima de Carlos
> - Diana trabalha no 3º andar
>
> Quem trabalha no 1º andar?

**Resolução:**

Diana = 3º (fixo)
Restam: 1º, 2º, 4º para Ana, Bruno, Carlos
Ana ≠ 1º → Ana está no 2º ou 4º
Bruno > Carlos em andar → Bruno não pode ser o 1º (precisaria ter alguém abaixo)
  Se Carlos = 1º, Bruno pode ser 2º ou 4º ✓
  Se Carlos = 2º, Bruno = 4º, Ana = 1º — mas Ana ≠ 1º ✗
→ Carlos = 1º ✓

**⚠️ Pegadinha IDECAN:** A banca costuma colocar condições **negativas** ("X não está ao lado de Y") que parecem pouco úteis mas eliminam várias possibilidades. Sempre aplique as negativas também.

---

## 3. Raciocínio Sequencial — Séries e Padrões

### 3.1 Sequências Numéricas

**Tipos mais comuns:**

| Tipo | Exemplo | Padrão |
|---|---|---|
| PA (razão constante) | 2, 5, 8, 11, 14 | +3 |
| PG (razão multiplicativa) | 3, 6, 12, 24 | ×2 |
| Quadrados perfeitos | 1, 4, 9, 16, 25 | n² |
| Fibonacci | 1, 1, 2, 3, 5, 8, 13 | aₙ = aₙ₋₁ + aₙ₋₂ |
| Diferença crescente | 1, 2, 4, 7, 11, 16 | +1, +2, +3, +4... |
| Alternada | 2, 5, 3, 6, 4, 7 | duas sequências intercaladas |

**Dica:** Quando não identificar o padrão imediatamente, calcule as **diferenças entre termos consecutivos** — o padrão costuma estar nas diferenças.

> Exemplo: 1, 3, 7, 13, 21, ?
> Diferenças: 2, 4, 6, 8 → próxima diferença = 10 → próximo termo = **31**

### 3.2 Sequências com Letras

> A, C, F, J, O, ?
> Posições no alfabeto: 1, 3, 6, 10, 15, ?
> Diferenças: +2, +3, +4, +5 → próxima = +6 → posição 21 = **U**

### 3.3 Sequências Temporais

> "Segunda, Quarta, Sexta, ?, Segunda..."
> Padrão: de 2 em 2 dias → próximo = **Domingo**

---

## 4. Raciocínio Espacial — Padrões Matriciais

Questões com matrizes 3×3 onde cada linha/coluna segue um padrão.

### Estratégia

1. Analise **linhas** → há soma/progressão constante?
2. Analise **colunas** → mesmo padrão?
3. Analise **diagonais** → padrão diferente?
4. Analise **formas/figuras** → rotação? espelhamento? combinação?

### Exemplo modelo

| 2 | 4 | 6  |
| 3 | 6 | 9  |
| 4 | 8 | ?  |

> Padrão: cada linha multiplica o primeiro elemento por 1, 2 e 3
> Linha 3: 4×1=4, 4×2=8, 4×3=**12** ✓

**⚠️ Pegadinha IDECAN:** Em matrizes com figuras, a banca usa rotação de 90°/180° como padrão. Sempre verifique se a figura gira ou espelha entre colunas.

---

## 5. Raciocínio Verbal — Analogias

Formato: **A está para B assim como C está para D**

### Tipos de relação

| Tipo | Exemplo |
|---|---|
| Função/uso | Caneta : escrever :: faca : cortar |
| Parte/todo | Folha : árvore :: página : livro |
| Causa/efeito | Chuva : alagamento :: sol : evaporação |
| Sinônimo | Veloz : rápido :: lento : vagaroso |
| Antônimo | Quente : frio :: alto : baixo |
| Gênero/espécie | Felino : gato :: canino : cão |
| Produtor/produto | Galinha : ovo :: vaca : leite |

**Dica:** Identifique **a relação** entre A e B, depois aplique a **mesma relação** para encontrar D a partir de C.

---

## 6. Conjuntos — Teoria e Aplicação

### 6.1 Operações básicas

| Operação | Símbolo | Significado | Diagrama |
|---|---|---|---|
| **União** | A ∪ B | Tudo que está em A **ou** em B | Toda a área dos dois círculos |
| **Interseção** | A ∩ B | Tudo que está em A **e** em B | Área de sobreposição |
| **Diferença** | A − B | O que está em A mas **não** em B | Só o círculo A, sem a sobreposição |
| **Complementar** | Aᶜ ou Ā | O que está no universo mas **não** em A | Tudo fora do círculo A |

### 6.2 Fórmulas essenciais

**Para dois conjuntos:**

n(A ∪ B) = n(A) + n(B) − n(A ∩ B)

**Para três conjuntos:**

n(A ∪ B ∪ C) = n(A) + n(B) + n(C)
             − n(A ∩ B) − n(A ∩ C) − n(B ∩ C)
             + n(A ∩ B ∩ C)

**Somente em A (exclusivo):**

n(só A) = n(A) − n(A ∩ B) − n(A ∩ C) + n(A ∩ B ∩ C)

### 6.3 Questão modelo clássica (2 conjuntos)

> Em uma turma de 40 alunos, 25 gostam de futebol, 18 gostam de vôlei e 8 gostam dos dois. Quantos não gostam de nenhum?

n(F ∪ V) = 25 + 18 − 8 = 35
Não gostam de nenhum = 40 − 35 = 5

### 6.4 Questão modelo clássica (3 conjuntos)

> 100 pessoas foram entrevistadas sobre 3 redes sociais (A, B, C):
> - Usam A: 60 | Usam B: 50 | Usam C: 40
> - Usam A e B: 20 | Usam A e C: 15 | Usam B e C: 10
> - Usam as três: 5
> Quantas usam pelo menos uma?

n(A∪B∪C) = 60+50+40 − 20−15−10 + 5 = 110

> Mas o total é 100 → ou há erro nos dados ou "pelo menos uma" = **100** (todos usam pelo menos uma)

**⚠️ Pegadinha IDECAN:** A banca frequentemente pergunta "somente A" (exclusivo) — não confunda com "pelo menos A". Somente A = usa A mas não usa B nem C.

Somente A = n(A) − n(A∩B) − n(A∩C) + n(A∩B∩C)
           = 60 − 20 − 15 + 5 = 30

### 6.5 Diagrama de Venn (3 conjuntos) — preenchimento correto

        [  A  ]   [  B  ]
       /   a   \ / b   \
      |  só A   |só B   |
      |    [  a∩b  ]    |
      |  [  a∩b∩c ]    |
      |    [  a∩c  ]    |
       \   só C   /
        [  C  ]

**Ordem de preenchimento:** sempre comece pela **interseção das três**, depois as interseções duplas, por último os exclusivos.

---

## 7. Problemas Lógicos com Aritmética

### 7.1 Problemas de grade/tabela

Dado um conjunto de restrições, preencher uma tabela onde cada linha e coluna tem valores únicos.

> 3 amigos (Ana, Bruno, Carlos) têm 3 profissões (médico, advogado, engenheiro) e 3 carros (Gol, Uno, Fiesta).
> - Ana não é médica
> - O dono do Gol é advogado
> - Bruno tem o Uno

**Montagem da grade:**

         | Profissão  | Carro   |
---------|------------|---------|
Ana      | adv ou eng | ?       |
Bruno    | ?          | Uno     |
Carlos   | ?          | ?       |

Aplique as restrições até preencher tudo.

### 7.2 Problemas de ordenação

> 5 pessoas em fila: A, B, C, D, E
> - B está imediatamente à frente de C
> - A está atrás de D
> - E está na primeira posição

Estratégia: fixe o que é certo (E = 1º), depois aplique as restrições relativas.

---

## 8. Negação de Quantificadores (revisão + aprofundamento)

| Original | Negação |
|---|---|
| **Todo** A é B | **Algum** A **não** é B |
| **Nenhum** A é B | **Algum** A é B |
| **Algum** A é B | **Nenhum** A é B (= Todo A não é B) |
| **Algum** A não é B | **Todo** A é B |

**⚠️ Pegadinha IDECAN:** Negar "Todo A é B" **não** é "Nenhum A é B" — é "**Algum** A não é B". A banca adora essa troca.

---

## 📌 Resumo Ultra-Rápido

| Tópico | Fórmula/Regra-chave |
|---|---|
| Modus Ponens | p→q, p ⊨ q |
| Modus Tollens | p→q, ~q ⊨ ~p |
| Contrapositiva | p→q ≡ ~q→~p |
| Conjuntos 2 | n(A∪B) = n(A)+n(B)−n(A∩B) |
| Conjuntos 3 | +todas as partes −interseções duplas +tripla |
| Somente A | n(A)−n(A∩B)−n(A∩C)+n(A∩B∩C) |
| Negação de "Todo" | "Algum não" |
| Negação de "Algum" | "Nenhum" |
| Sequência: achar padrão | Calcular diferenças entre termos |
| Situações lógicas | Montar grade + eliminar contradições |