📘 Super Guia de Estudos · Lógica e Teoria dos Números
Passe o mouse sobre os destaques🎯 Tudo que está com borda tracejada e cor especial revela resoluções, macetes e exemplos práticos. — conteúdo completo para arrasar nas provas!
📊 Tautologia, Contradição e Contingência
✅ Tautologia
Sempre Verdadeira🔹 Independente dos valores de p, q, r... o resultado final é sempre V. Ex: p ∨ ~p
❌ Contradição
Sempre Falsa🔸 Independente dos valores, o resultado é sempre F. Ex: p ∧ ~p
⚠️ Contingência
Pode ser V ou F🔹 Depende dos valores das proposições. Ex: p → q
🧪 Teste rápido: Classifique (p ∧ q) → (p ∨ q)
Resposta: Tautologia ✅📋 Construa a tabela verdade. Em todas as linhas, o resultado é V. Se p∧q é V, p∨q também é V. Se p∧q é F, a condicional é V (F→?=V).
🧪 Classifique: (p → q) ∧ (p ∧ ~q)
Resposta: Contradição ❌📋 p→q é F apenas quando p=V e q=F. Nesse caso, p∧~q é V. Mas quando p→q é V, p∧~q é F. O ∧ entre eles nunca será V.
🔄 Equivalências Lógicas Notáveis
Duas proposições são logicamente equivalentes quando possuem a mesma tabela verdade🔹 Para todos os valores possíveis, os resultados são idênticos..
📌 Leis de De Morgan
~(p ∧ q) ≡ ~p ∨ ~q🔹 Nega o E vira OU. Ex: "Não é verdade que chove e faz frio" equivale a "Não chove OU não faz frio".
~(p ∨ q) ≡ ~p ∧ ~q🔸 Nega o OU vira E. Ex: "Não é verdade que chove ou faz frio" equivale a "Não chove E não faz frio".
📌 Condicional
p → q ≡ ~p ∨ q🔹 A condicional "Se p, então q" equivale a "Não p ou q". Ex: "Se estudo, passo" = "Não estudo ou passo".
p → q ≡ ~q → ~p🔸 Contrapositiva: "Se não passo, então não estudei". Muito útil em provas!
📌 Negação da Condicional
~(p → q) ≡ p ∧ ~q💥 MANTER A PRIMEIRA E NEGAR A SEGUNDA. Ex: Negação de "Se chove, então faz frio" é "Chove E não faz frio". Isso cai muito!
📌 Bicondicional
p ↔ q ≡ (p → q) ∧ (q → p)🔹 "p se e somente se q" equivale a "Se p então q E se q então p".
p ↔ q ≡ (p ∧ q) ∨ (~p ∧ ~q)🔸 Ou ambos verdadeiros, ou ambos falsos.
📝 Exercício: A proposição ~(p → ~q) é equivalente a:
Resposta: p ∧ q📋 Passo a passo: ~(p → ~q) ≡ p ∧ ~(~q) ≡ p ∧ q. A negação da condicional mantém a primeira e nega a segunda. Como a segunda já era negada (~q), negar de novo vira q.
🧮 Álgebra das Proposições
🔹 Comutativa
p ∧ q ≡ q ∧ p
p ∨ q ≡ q ∨ p
🔹 Associativa
(p ∧ q) ∧ r ≡ p ∧ (q ∧ r)
(p ∨ q) ∨ r ≡ p ∨ (q ∨ r)
🔹 Distributiva
p ∧ (q ∨ r) ≡ (p ∧ q) ∨ (p ∧ r)
p ∨ (q ∧ r) ≡ (p ∨ q) ∧ (p ∨ r)
🔹 Idempotência
p ∧ p ≡ p
p ∨ p ≡ p
🔹 Dupla Negação
~~p ≡ p🔹 Negar duas vezes volta ao valor original.
🔹 Identidade
p ∧ V ≡ p
p ∨ F ≡ p
🧪 Simplifique: (p ∧ q) ∨ (p ∧ ~q)
Resposta: p📋 Fatoração: p ∧ (q ∨ ~q) ≡ p ∧ V ≡ p. Distributiva ao contrário!
⚖️ Argumentos Lógicos e Validade
Um argumento é uma sequência de proposições: Premissas (P₁, P₂, ..., Pₙ) e Conclusão (C)🔹 Representação: P₁, P₂, ..., Pₙ ⊢ C (Lê-se: "P₁, P₂, ..., Pₙ acarretam C")..
✅ Argumento Válido
Sempre que as premissas são verdadeiras, a conclusão também é verdadeira.🔹 A validade depende da FORMA do argumento, não do conteúdo. Um argumento pode ser válido mesmo com premissas falsas!
📌 Métodos para verificar validade
1
Tabela Verdade
Construa a tabela com todas as premissas e a conclusão. Se em TODAS as linhas onde as premissas são V a conclusão também for V, o argumento é válido.📋 Se existir pelo menos uma linha com premissas V e conclusão F, o argumento é INVÁLIDO (falácia).
2
Regras de Inferência
Use Modus Ponens, Modus Tollens, Silogismo Hipotético, etc., para derivar a conclusão a partir das premissas.📋 Se você consegue chegar na conclusão usando apenas regras válidas, o argumento é válido.
3
Método da Conclusão Falsa
Suponha que a conclusão é FALSA. Se for IMPOSSÍVEL ter todas as premissas verdadeiras com a conclusão falsa, o argumento é válido.📋 Tente encontrar um caso onde premissas = V e conclusão = F. Se não existir, argumento válido!
🧪 Verifique o argumento: p → q, q → r, ~r ⊢ ~p
Resposta: Válido ✅📋 Por Silogismo Hipotético: p→q, q→r ⊢ p→r. Depois Modus Tollens: p→r, ~r ⊢ ~p. Perfeito!
🧪 Verifique: p → q, q ⊢ p
Resposta: INVÁLIDO ❌ (Falácia da Afirmação do Consequente)⚠️ Ex: "Se chove (p), a rua molha (q). A rua molhou (q). Logo, choveu (p)?" Não necessariamente! Alguém pode ter lavado a rua.
🚫 Falácias Lógicas (Cuidado nas provas!)
❌ Afirmação do Consequente
p → q, q ⊢ p (INVÁLIDO)⚠️ Ex: "Se é cachorro, late. Late. Logo, é cachorro." Pode ser outro animal que late.
❌ Negação do Antecedente
p → q, ~p ⊢ ~q (INVÁLIDO)⚠️ Ex: "Se chove, a rua molha. Não choveu. Logo, a rua não molhou." Alguém pode ter molhado a rua de outra forma.
✅ Formas VÁLIDAS (para contrastar)
Modus Ponens: p → q, p ⊢ q ✅✔️ Afirma o antecedente, conclui o consequente.
Modus Tollens: p → q, ~q ⊢ ~p ✅✔️ Nega o consequente, conclui a negação do antecedente.
🌐 Lógica de Predicados — Tópicos Avançados
📌 Domínio de Discurso
O conjunto de elementos sobre os quais os quantificadores atuam.🔹 Ex: Domínio = {alunos da sala}. ∀x Estudou(x) significa "Todo aluno da sala estudou".
📌 Predicados com múltiplas variáveis
∀x ∃y Ama(x, y)🔹 "Para toda pessoa x, existe alguém y que x ama". (Todo mundo ama alguém.)
∃y ∀x Ama(x, y)🔸 "Existe alguém y que é amado por toda pessoa x". (Existe uma pessoa que todo mundo ama.) — Note a diferença!
⚠️ Atenção com a ordem dos quantificadores!
∀x ∃y P(x,y) NÃO é equivalente a ∃y ∀x P(x,y)🔹 No primeiro, o y pode depender de x. No segundo, o y é o MESMO para todos os x. Muda totalmente o significado!
📌 Negação de predicados com múltiplos quantificadores
~∀x ∃y P(x,y) ≡ ∃x ∀y ~P(x,y)📋 Regra: Negação "empurra" para dentro, trocando ∀↔∃ e negando o predicado.
🧪 Negue: "Todo aluno tem um professor que admira."
Resposta: "Existe um aluno que não admira professor nenhum."📋 ∀a ∃p Admira(a,p) → Negação: ∃a ∀p ~Admira(a,p).
🔢 Teoria dos Números — Tópicos Essenciais
📌 Algoritmo de Euclides (MDC)
Método das divisões sucessivas para encontrar o MDC.📋 Ex: MDC(48, 18): 48÷18=2 resto 12 → 18÷12=1 resto 6 → 12÷6=2 resto 0. MDC = 6.
🧪 Calcule MDC(270, 192):
Resposta: MDC = 6📋 270÷192=1 resto 78 → 192÷78=2 resto 36 → 78÷36=2 resto 6 → 36÷6=6 resto 0.
📌 Números Primos entre Si (Coprimos)
Dois números cujo MDC = 1.🔹 Ex: 15 e 28. MDC(15,28)=1. 15=3×5, 28=2²×7, nenhum fator comum.
📌 Congruência Modular
a ≡ b (mod m) significa que m divide (a - b).🔹 Ex: 17 ≡ 5 (mod 12) porque 17-5=12, que é divisível por 12. "17 e 5 têm o mesmo resto na divisão por 12".
🧪 Calcule: 100 ≡ ? (mod 7)
Resposta: 100 ≡ 2 (mod 7)📋 100 ÷ 7 = 14 com resto 2. Portanto, 100 ≡ 2 (mod 7).
📌 Critérios de Divisibilidade Extras
por 7: Dobre o último dígito, subtraia do resto do número. Se o resultado for divisível por 7, o número original também é.📋 Ex: 343 → 34 - 2×3 = 34-6=28 (÷7=4) → 343 é divisível por 7.
por 11: Some os dígitos em posições ímpares, some os dígitos em posições pares. Se a diferença for múltipla de 11 (incluindo 0), o número é divisível por 11.📋 Ex: 121 → (1+1) - (2) = 0 → divisível por 11. 9.482 → (9+8) - (4+2) = 17-6=11 → divisível.
📌 Decomposição em Fatores Primos (Método Prático)
Ex: 180
180 | 2
90 | 2
45 | 3
15 | 3
5 | 5
1 | → 180 = 2² × 3² × 5📋 Número de divisores: (2+1)×(2+1)×(1+1) = 3×3×2 = 18 divisores.
📌 Quantidade de Divisores
Se n = p₁ᵃ¹ × p₂ᵃ² × ... × pₖᵃᵏ, então o número de divisores é (a₁+1)(a₂+1)...(aₖ+1).📋 Ex: 12 = 2²×3¹ → (2+1)(1+1) = 3×2 = 6 divisores: 1,2,3,4,6,12.
📌 Equações Diofantinas Lineares
ax + by = c tem solução inteira SE E SOMENTE SE MDC(a,b) divide c.📋 Ex: 6x + 9y = 15. MDC(6,9)=3. 3 divide 15? Sim! Então tem solução. Ex: x=1, y=1 → 6+9=15.
🧪 Verifique se tem solução: 10x + 15y = 7
Resposta: NÃO ❌📋 MDC(10,15)=5. 5 NÃO divide 7, então não há solução inteira.
📝 Exercícios de Fixação
1. (Conectivos) Se p=V, q=F, r=V, calcule: (p → q) ∨ (r ∧ ~q)
Resposta: V📋 p→q = V→F = F. ~q = V. r∧~q = V∧V = V. F ∨ V = V.
2. (Equivalência) A negação de "Se o réu é culpado, então ele será preso" é:
Resposta: "O réu é culpado e não será preso."📋 ~(p→q) ≡ p∧~q. Mantém a primeira E nega a segunda.
3. (Argumento) p ∨ q, ~p → r, ~q ⊢ r
Resposta: Válido ✅📋 De p∨q e ~q, por SD, obtemos p. Não precisamos nem usar ~p→r. (Mas se usasse: tendo p, ~p é F, então ~p→r é V, mas não prova r. Porém com p∨q e ~q, p é garantido. A conclusão pede r? Ops, a conclusão é r, mas não temos r garantido... Vamos reavaliar: p∨q, ~q ⊢ p. Depois, com p, sabemos que ~p é F. Mas ~p→r não nos força r. Portanto, o argumento é INVÁLIDO! Cuidado!)
Atualizado: O argumento dado é INVÁLIDO. Tente atribuir p=V, q=F, r=F. Premissas: p∨q=V, ~p→r (F→F=V), ~q=V. Premissas todas V, mas conclusão r=F. Logo, inválido.
4. (MDC/MMC) Dois números têm MDC=8 e MMC=48. Se um deles é 16, qual é o outro?
Resposta: 24📋 Lembre: a × b = MDC × MMC. 16 × b = 8 × 48 → 16b = 384 → b = 24.
5. (Predicados) Negue: "Existe um dia em que todo aluno falta."
Resposta: "Em todo dia, existe pelo menos um aluno que não falta."📋 ~∃d ∀a Falta(d,a) ≡ ∀d ∃a ~Falta(d,a).
🌟 Dicas Finais para a Prova
- 🔹 Leia o enunciado 3 vezes: identifique premissas, conclusão e o que foi pedido.📖 Muitos erros vêm da má interpretação do texto.
- 🔹 Construa tabelas verdade com método: comece pelas proposições simples, depois as compostas.📋 Para n proposições, a tabela terá 2ⁿ linhas. Preencha com ordem: metade V, metade F, depois alterna de 2 em 2, etc.
- 🔹 Decore as equivalências principais: De Morgan, negação da condicional, contrapositiva.🧠 Elas caem em 80% das questões!
- 🔹 Em argumentos, procure contraexemplos: tente achar uma situação onde premissas=V e conclusão=F.🎯 Se encontrar, o argumento é inválido.
- 🔹 MDC × MMC = produto dos números. Use isso para verificar ou encontrar números desconhecidos.📐 Vale apenas para dois números! Para mais de dois, não se aplica diretamente.
- 🔹 Fatore completamente antes de calcular MDC e MMC. Não pule etapas.🧮 Erros de fatoração são os mais comuns em teoria dos números.
✨ Este guia cobre os principais tópicos. Estude, pratique e arrase! 🍀