Aula 126 — Negação de proposições quantificadas
50 minObjetivo geral
Negar corretamente proposições quantificadas, trocando o quantificador universal por existencial (e vice-versa) ao negar.
Objetivos específicos
- Enunciar a regra: ¬(∀x, P(x)) é equivalente a ∃x, ¬P(x).
- Enunciar a regra: ¬(∃x, P(x)) é equivalente a ∀x, ¬P(x).
- Aplicar essas regras para negar proposições universais e existenciais.
- Evitar o erro clássico de negar "todo X é Y" como "nenhum X é Y".
Conhecimentos prévios
- Quantificador universal, Módulo 7, Aula 124.
- Quantificador existencial, Módulo 7, Aula 125.
Recursos didáticos
- Apresentação de slides — Possor_MatAula126_Apresentacao.pptx.
- Quadro/lousa e material de escrita.
- Cartaz com as regras de negação de quantificadores, para consulta durante a aula.
Desenvolvimento da aula
Acolhida e Sondagem de Conhecimentos Prévios
5 min · Ausubel — ativação de subsunçoresO professor pergunta: "a negação de 'todo aluno passou' é 'nenhum aluno passou', ou é outra coisa?" Ouvir hipóteses.
Problematização Inicial
5 min · Bachelard — obstáculo epistemológico antecipadoEscrever "a negação de 'todo aluno passou' é 'nenhum aluno passou'" no quadro e perguntar: essa negação está certa? Obstáculo a nomear (sem resolver ainda): negar "todo X é Y" como "nenhum X é Y" (extremo oposto), quando a negação correta é mais fraca: "existe pelo menos um X que não é Y" — basta UM aluno não ter passado para "todo aluno passou" ser falsa, não é preciso que NENHUM tenha passado.
Desenvolvimento Conceitual
20 min · Exposição dialogadaApresentação dos slides 2 a 9: a negação de uma proposição universal ∀x, P(x) é ∃x, ¬P(x) (existe pelo menos um x que NÃO satisfaz P); a negação de uma existencial ∃x, P(x) é ∀x, ¬P(x) (nenhum x satisfaz P, ou seja, todos falham) — isso resolve o obstáculo do Momento 2: a negação de "todo aluno passou" é "existe pelo menos um aluno que não passou", não "nenhum aluno passou" (que seria uma afirmação muito mais forte e diferente).
Resolução Guiada
10 min · Vygotsky — Zona de Desenvolvimento ProximalResolução guiada: negar coletivamente "todo número par é divisível por 2" (fica "existe um número par que não é divisível por 2" — proposição falsa, já que a original é verdadeira). Em duplas: negar "existe um número primo par".
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: é outra coisa — a negação correta é "existe pelo menos um aluno que não passou", bem mais fraca que "nenhum aluno passou".
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. Negue: "todo aluno passou".
Gabarito: "Existe pelo menos um aluno que não passou."
2. Negue: "existe um número primo par".
Gabarito: "Todo número par não é primo" (nenhum número par é primo) — mas repare que essa negação é falsa, pois 2 é contraexemplo, já que a proposição original era verdadeira.
3. Negue: "todo número natural é positivo".
Gabarito: "Existe um número natural que não é positivo" (verdadeira, pois 0 não é positivo).
4. Encontre o erro: "a negação de 'todo aluno passou' é 'nenhum aluno passou'".
Gabarito: A negação correta é mais fraca: "existe pelo menos um aluno que não passou", não a afirmação extrema de que nenhum passou.
5. Negue: "existe um número natural menor que zero".
Gabarito: "Todo número natural não é menor que zero" (verdadeira, pois nenhum natural é negativo).