Aula 125 — Quantificador existencial
50 minObjetivo geral
Compreender o quantificador existencial (∃, "existe"), reconhecendo que uma proposição existencial é verdadeira se PELO MENOS UM elemento do conjunto satisfizer a propriedade.
Objetivos específicos
- Reconhecer o símbolo ∃ e a leitura "existe" ou "existe pelo menos um".
- Avaliar o valor de verdade de uma proposição existencial.
- Reconhecer que basta UM exemplo para confirmar uma proposição existencial.
- Diferenciar o quantificador existencial do universal, quanto à quantidade de casos exigidos.
Conhecimentos prévios
- Quantificador universal, Módulo 7, Aula 124.
- Proposições e sentenças matemáticas, Módulo 7, Aula 110.
Recursos didáticos
- Apresentação de slides — Possor_MatAula125_Apresentacao.pptx.
- Quadro/lousa e material de escrita.
- Lista de proposições existenciais para avaliar.
Desenvolvimento da aula
Acolhida e Sondagem de Conhecimentos Prévios
5 min · Ausubel — ativação de subsunçoresO professor pergunta: "pra confirmar 'existe um número par que é primo', preciso testar todos os números pares?" Ouvir hipóteses.
Problematização Inicial
5 min · Bachelard — obstáculo epistemológico antecipadoEscrever "'existe um número par que é primo' só é confirmada se TODOS os números pares forem primos" no quadro e perguntar: essa é a condição certa para o quantificador "existe"? Obstáculo a nomear (sem resolver ainda): aplicar a exigência do quantificador UNIVERSAL (valer para todos) ao quantificador EXISTENCIAL, quando na verdade basta UM elemento satisfazer a propriedade para a proposição ser verdadeira.
Desenvolvimento Conceitual
20 min · Exposição dialogadaApresentação dos slides 2 a 9: o quantificador existencial ∃x, P(x) ("existe x tal que P(x)") é VERDADEIRO se PELO MENOS UM elemento do conjunto satisfizer a propriedade P — não precisa valer para todos. Isso resolve o obstáculo do Momento 2: "existe um número par que é primo" é verdadeira, pois o número 2 é par e primo — um único exemplo (2) já confirma, não é preciso checar todos os pares. Já "existe um número natural negativo" é falsa, pois nenhum natural é negativo.
Resolução Guiada
10 min · Vygotsky — Zona de Desenvolvimento ProximalResolução guiada: avaliar coletivamente "∃x∈ℕ, x2=x" (verdadeira, pois x=0 e x=1 satisfazem). Em duplas: avaliar "∃x∈ℕ, x+1<x" (falsa, nenhum natural satisfaz).
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 — basta encontrar UM número par que seja primo (o 2) para confirmar a proposição existencial, não é preciso testar todos os pares.
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 é par e primo".
Gabarito: Verdadeira — o número 2 satisfaz as duas condições.
2. Avalie: "∃x∈ℕ, x+1<x".
Gabarito: Falsa — nenhum número natural satisfaz essa condição.
3. Encontre o erro: "'existe um número par que é primo' só é confirmada se todos os números pares forem primos".
Gabarito: Essa é a exigência do quantificador universal. O existencial exige só UM elemento que satisfaça a condição.
4. Avalie: "∃x∈ℕ, x2=4".
Gabarito: Verdadeira — x=2 satisfaz, pois 22=4.
5. Qual a diferença central entre ∀ e ∃, quanto à quantidade de casos exigidos?
Gabarito: ∀ exige que a propriedade valha para TODOS os elementos; ∃ exige que valha para PELO MENOS UM.