Aula 117 — Bicondicional
50 minObjetivo geral
Compreender o bicondicional (↔, "se e somente se"), reconhecendo que ele é verdadeiro quando as duas partes têm o MESMO valor de verdade.
Objetivos específicos
- Reconhecer o símbolo ↔ e o significado de "se e somente se".
- Construir a tabela-verdade do bicondicional p↔q.
- Reconhecer o bicondicional como a junção de dois condicionais (ida e volta).
- Diferenciar o bicondicional do condicional simples.
Conhecimentos prévios
- Condicional, Módulo 7, Aula 116.
- Conjunção lógica, Módulo 7, Aula 113.
Recursos didáticos
- Apresentação de slides — Possor_MatAula117_Apresentacao.pptx.
- Quadro/lousa e material de escrita.
- Cartaz com a tabela-verdade do bicondicional (p↔q) 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: "'um número é par se e somente se for divisível por 2' é a mesma coisa que só 'se um número é par, é divisível por 2'?" Ouvir hipóteses.
Problematização Inicial
5 min · Bachelard — obstáculo epistemológico antecipadoEscrever "p↔q é a mesma coisa que p→q" no quadro e perguntar: essas duas notações significam exatamente o mesmo? Obstáculo a nomear (sem resolver ainda): confundir o bicondicional com o condicional simples, esquecendo que "se e somente se" exige a relação nos DOIS sentidos (ida e volta), não só um.
Desenvolvimento Conceitual
20 min · Exposição dialogadaApresentação dos slides 2 a 9: o bicondicional p↔q ("p se e somente se q") é verdadeiro quando p e q têm o MESMO valor de verdade — equivale a exigir p→q E q→p ao mesmo tempo. Isso resolve o obstáculo do Momento 2: "par se e somente se divisível por 2" exige as duas direções (se é par, é divisível por 2 E se é divisível por 2, é par), diferente de um condicional único. Tabela-verdade: V↔V=V; V↔F=F; F↔V=F; F↔F=V.
Resolução Guiada
10 min · Vygotsky — Zona de Desenvolvimento ProximalResolução guiada: montar coletivamente a tabela-verdade de p↔q, comparando com p→q e q→p separadamente. Em duplas: avaliar "2 é par se e somente se 3 é primo" (as duas V, logo V) e "2 é par se e somente se 3 é par" (uma V outra F, logo F).
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 — o bicondicional exige a relação nos dois sentidos, o condicional simples só num sentido.
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. Construa a tabela-verdade de p↔q.
Gabarito: V↔V=V; V↔F=F; F↔V=F; F↔F=V.
2. Avalie: "2 é par se e somente se 4 é par".
Gabarito: As duas partes são verdadeiras, logo o bicondicional é verdadeiro.
3. Avalie: "2 é par se e somente se 3 é par".
Gabarito: "2 é par" é V, "3 é par" é F — valores diferentes, logo o bicondicional é falso.
4. Encontre o erro: "p↔q é a mesma coisa que p→q".
Gabarito: O bicondicional exige a relação nos dois sentidos (p→q e q→p); o condicional simples exige só um sentido.
5. Se p↔q é verdadeira e p é falsa, o que se pode concluir sobre q?
Gabarito: q também precisa ser falsa — o bicondicional só é verdadeiro quando os dois valores coincidem.