Módulo de Pré-Cálculo
Introdução à Lógica Matemática
Aula 01: A Linguagem dos Teoremas e a Arte da Demonstração
Objetivo Geral
Desconstruir a visão mecânica da matemática escolar, introduzindo o rigor lógico,
a identificação de proposições, o uso de conectivos, a negação de quantificadores e
as técnicas formais de demonstração (Contrapositiva, Absurdo e Contraexemplo).
1
O que é Lógica Matemática e por que precisamos
dela?
O dramático avanço da Ciência foi o grande responsável pelo desenvolvimento tecnológico moderno. Mas como a Ciência avança? A partir de conhecimentos já verificados
como verdadeiros (por exemplo, "a fórmula química da água é H2 O"), um cientista infere novos conhecimentos através de argumentações. Para que essa máquina de produzir
conhecimento não falhe, é necessário um sistema formal de regras de inferência. Na
Matemática, esse sistema é a Lógica.
Diferente de outras ciências que aceitam evidências experimentais repetidas como
prova, a Matemática exige uma demonstração inquestionável. Testar um milhão de números não prova uma teoria matemática; apenas a lógica garante uma verdade absoluta.
1.1
Proposições: A Base de Tudo
Definição: Uma proposição é qualquer afirmação declarativa que pode ser julgada como
Verdadeira (V) ou Falsa (F) de maneira exclusiva (não pode ser ambas ao mesmo
tempo, nem ficar sem valor).
• Exemplos de Proposições:
– "O corpo humano é composto por água." (V)
– "O Sol gira ao redor da Terra." (F)
– "Existe vida em outros planetas." (Mesmo que a humanidade ainda não saiba
a resposta, esta afirmação é obrigatoriamente ou V ou F. Logo, é uma proposição).
• Exemplos do que NÃO são Proposições:
– "Feliz aniversário!" (Frase exclamativa, não possui valor de verdade).
– "Que horas são?" (Frase interrogativa).
– "Esta frase é falsa." (Isto é um paradoxo. Se dissermos que é verdadeira,
ela se torna falsa. Se dissermos que é falsa, ela se torna verdadeira. A lógica
matemática foge de paradoxos).
1
EXERCÍCIO DE FIXAÇÃO 1
Analise as sentenças abaixo e identifique quais são proposições matemáticas e quais
não são. Justifique.
a) 2 + 5 = 8
b) Estude bastante para a prova de Cálculo!
c) x > 4
2
Conectivos e a Construção de Tabelas-Verdade
Para criar argumentos complexos, ligamos proposições simples usando conectivos lógicos. O valor de verdade da nova frase dependerá exclusivamente dos valores das frases
originais e da regra do conectivo.
Conectivo
Nome
Símbolo
Justificativa (Como funciona)
Negação
Não
∼ ou ¬
Inverte o valor lógico. Se p é V, ∼ p é F.
Conjunção
E
∧
Só é V se ambas as premissas forem verdadeiras.
Disjunção
Ou
∨
Só é F se ambas forem falsas.
Condicional
Se... então
→
Só é F quando p é V e q é F (V → F = F).
Exemplo Aprofundado: O Argumento Modus Ponens
Um dos argumentos mais famosos da lógica é: "Se p implica q, e sabemos que p é verdade,
então q é verdade". Simbolicamente: (p → q) ∧ p → q. Para justificar que esse argumento
é sempre válido, construímos a tabela-verdade:
p
q
p→q
Premissas: (p → q) ∧ p
Conclusão: q
V
V
F
F
V
F
V
F
V
F
V
V
V
F
F
F
V
F
V
F
Observe que a única linha onde as premissas são verdadeiras juntas é a primeira linha,
e nela, a conclusão q também é obrigatoriamente verdadeira!
EXERCÍCIO DE FIXAÇÃO 2
Considere as proposições p: "Está chovendo"e q: "A rua está molhada".
a) Traduza para a linguagem natural a proposição composta: ∼ p ∨ q.
b) Sabendo que p é Falso e q é Verdadeiro, qual é o valor lógico de p →∼ q?
2
3
Sentenças Abertas e Quantificadores
No exercício 1(c) acima, vimos que "x > 4"não é uma proposição. Por quê? Porque
depende de quem é x. Chamamos essas frases com variáveis de Sentenças Abertas.
Para transformá-las em proposições estritas, usamos os Quantificadores:
1. Quantificador Universal (∀): Significa "Para todo"ou "Qualquer que seja".
• Exemplo: ∀x ∈ R, x2 ≥ 0. (Para todo real x, seu quadrado é maior ou igual a
zero. Verdadeiro).
2. Quantificador Existencial (∃): Significa "Existe pelo menos um".
• Exemplo: ∃x ∈ Z | x + 5 = 2. (Existe um inteiro x tal que x + 5 = 2.
Verdadeiro, x = −3).
A Regra de Negação (Extremamente útil no Cálculo):
Para negar que "Todos os alunos gostam de lógica", você NÃO diz "Nenhum aluno gosta".
A negação correta é que a regra falhou para pelo menos um: "Existe pelo menos um aluno
que não gosta de lógica".
∼ (∀x, P (x)) ≡ ∃x, ∼ P (x)
∼ (∃x, P (x)) ≡ ∀x, ∼ P (x)
EXERCÍCIO DE FIXAÇÃO 3
Escreva a negação lógica da seguinte afirmação matemática (sem usar a palavra
"não"no início da frase):
"Existe um número natural n tal que n2 é par e n é ímpar."
4
A Queda do Mito: O Poder do Contraexemplo
Na Matemática escolar, os alunos se acostumam a testar três ou quatro valores em uma
fórmula e, se funcionar, assumem que "sempre funciona". O cálculo exige que quebremos
esse vício. Para provar que uma conjectura universal (um "para todo") é falsa, basta
exibir um único caso onde ela falha. Chamamos isso de Contraexemplo.
O Exemplo Histórico (Polinômio de Euler):
Considere a função f (n) = n2 + n + 41. Um aluno conjectura que, para qualquer número
natural n, essa função sempre gera um número primo. Vamos testar:
• f (1) = 12 + 1 + 41 = 43 (Primo)
• f (2) = 22 + 2 + 41 = 47 (Primo)
• f (3) = 32 + 3 + 41 = 53 (Primo)
Parece irrefutável, certo? No entanto, o que acontece se escolhermos n = 41?
f (41) = 412 + 41 + 41
Fatorando (colocando 41 em evidência):
f (41) = 41 × (41 + 1 + 1) = 41 × 43
3
O resultado é o produto de dois números maiores que 1. Logo, não é primo. A conjectura
inteira desmoronou com um contraexemplo.
EXERCÍCIO DE FIXAÇÃO 4
Um colega de √
classe afirma: "Para todo número real x, a raiz quadrada de x2 é igual
a x (ou seja, x2 = x)". Forneça um contraexemplo para provar que o seu colega
está errado.
5
Técnicas Avançadas de Demonstração
Se não podemos provar usando exemplos, usamos a lógica dedutiva pura. Duas ferramentas são fundamentais:
5.1
Prova pela Contrapositiva
A proposição "Se p, então q"(p → q) é logicamente equivalente a "Se não q, então não
p"(∼ q →∼ p).
Justificativa: Pense na frase: "Se chove, o chão molha". Se você olha pela janela e vê
que o chão não está molhado, você conclui que não choveu.
5.2
Demonstração por Contradição (Absurdo)
A técnica suprema do matemático. Para provar que uma afirmação é verdadeira, nós a
supomos falsa. Caminhamos logicamente até chegar a uma aberração matemática (como
1 = 2). Se a suposição de falsidade gerou um absurdo, a afirmação original só pode ser
verdadeira.
O Exemplo Épico (Olimpíada Russa):
Teorema: Sejam a, b, c ∈ R. Mostre que pelo menos uma das equações abaixo possui raiz
real:
x2 + (a − b)x + (b − c) = 0
x2 + (b − c)x + (c − a) = 0
x2 + (c − a)x + (a − b) = 0
Prova (Por Absurdo):
Suponha o contrário: NENHUMA das equações possui raiz real. Logo, os discriminantes
(∆ = B 2 − 4AC) são menores que zero:
(a − b)2 − 4(b − c) < 0
(b − c)2 − 4(c − a) < 0
(c − a)2 − 4(a − b) < 0
Somando as três inequações:
(a − b)2 + (b − c)2 + (c − a)2 − 4(b − c + c − a + a − b) < 0
Note que os termos do segundo bloco se anulam: −4(0) = 0. Resta:
(a − b)2 + (b − c)2 + (c − a)2 < 0
4
O ABSURDO: A soma de três quadrados (que são sempre ≥ 0) resultou em um número
negativo. Isso é impossível nos Reais. Logo, a nossa suposição inicial estava errada,
provando que pelo menos uma equação tem raiz real. ■
EXERCÍCIO DE FIXAÇÃO 5
Usando a técnica da Prova por Contradição (Absurdo), como você √
começaria estruturando os passos lógicos para provar que a afirmação "O número 2 é irracional"
é verdadeira? Qual seria a sua suposição inicial?
5