Aula 124 — Quantificador universal
50 minObjetivo geral
Compreender o quantificador universal (∀, "para todo"), reconhecendo que uma proposição universal só é verdadeira se valer para TODOS os elementos do conjunto considerado.
Objetivos específicos
- Reconhecer o símbolo ∀ e a leitura "para todo" ou "qualquer que seja".
- Avaliar o valor de verdade de uma proposição universal.
- Reconhecer que um único contraexemplo já torna uma proposição universal falsa.
- Diferenciar proposições universais verdadeiras de falsas usando exemplos e contraexemplos.
Conhecimentos prévios
- Proposições e sentenças matemáticas, Módulo 7, Aula 110.
- Números naturais e propriedades, Módulo 1.
Recursos didáticos
- Apresentação de slides — Possor_MatAula124_Apresentacao.pptx.
- Quadro/lousa e material de escrita.
- Lista de proposições universais para avaliar, incluindo casos com contraexemplo.
Desenvolvimento da aula
Acolhida e Sondagem de Conhecimentos Prévios
5 min · Ausubel — ativação de subsunçoresO professor pergunta: "pra confirmar que 'todo número par é divisível por 2' é verdadeira, basta testar um número par?" Ouvir hipóteses.
Problematização Inicial
5 min · Bachelard — obstáculo epistemológico antecipadoEscrever "testei o número 8, é par e divisível por 2, então 'todo número par é divisível por 2' está confirmada" no quadro e perguntar: um único exemplo confirma uma afirmação com "todo"? Obstáculo a nomear (sem resolver ainda): achar que basta UM exemplo verdadeiro para confirmar uma proposição universal ("todo... é..."), quando na verdade ela precisa valer para TODOS os elementos, sem exceção.
Desenvolvimento Conceitual
20 min · Exposição dialogadaApresentação dos slides 2 a 9: o quantificador universal ∀x, P(x) ("para todo x, vale P(x)") só é VERDADEIRO se a propriedade P valer para TODOS os elementos do conjunto considerado — um único CONTRAEXEMPLO já torna a proposição falsa. Isso resolve o obstáculo do Momento 2: um exemplo (como o número 8) não prova a afirmação universal, só ilustra um caso — pra confirmar de verdade, seria preciso garantir que vale para todos os números pares (o que é verdade aqui, mas por um argumento geral, não por um único teste). Já "todo número primo é ímpar" é FALSA, pois 2 é primo e par — um contraexemplo basta.
Resolução Guiada
10 min · Vygotsky — Zona de Desenvolvimento ProximalResolução guiada: avaliar coletivamente "∀x∈ℕ, x+1>x" (verdadeira, vale sempre). Em duplas: avaliar "∀x∈ℕ, x2>x" e encontrar o contraexemplo (x=0 ou x=1) que torna a proposição falsa.
Exercícios de Fixação
7 min · Prática independenteAplicação individual (ou em duplas) da lista de exercícios de fixação (seção 8 deste plano).
Síntese e Fechamento
3 min · Consolidação (fechamento circular)Retomar a pergunta do Momento 1: não — um exemplo não confirma uma proposição universal; é preciso garantir que vale para TODOS os casos, sem exceção.
Avaliação formativa
Ao longo da aula: perguntas rápidas de verificação (Momento 3) e observação direta durante a resolução guiada (Momento 4). Ao final: correção coletiva dos exercícios.
Lista de exercícios
1. Avalie: "∀x∈ℕ, x+1>x".
Gabarito: Verdadeira — vale para todo número natural, sem exceção.
2. Avalie: "∀x, x é primo → x é ímpar".
Gabarito: Falsa — o número 2 é um contraexemplo: é primo, mas não é ímpar.
3. Encontre o erro: "testei o número 8, é par e divisível por 2, então 'todo número par é divisível por 2' está confirmada".
Gabarito: Um único exemplo não confirma uma proposição universal — seria preciso garantir que vale para TODOS os números pares, não só testar um caso.
4. Avalie: "∀x∈ℕ, x2≥x".
Gabarito: Verdadeira para todo natural (incluindo x=0: 02=0≥0).
5. Encontre um contraexemplo para "∀x∈ℕ, x2>x".
Gabarito: x=0 ou x=1: 02=0 (não é maior que 0), 12=1 (não é maior que 1).