MACS · 10.º Ano

Ideias de aprendizagem ativa

Sistemas de Votação: Maioria, Pluralidade, Borda

O estudo da Lógica Proposicional exige que os alunos transitem do pensamento informal para o rigor formal. Atividades ativas ligam diretamente a manipulação simbólica a situações concretas, tornando visíveis as estruturas lógicas que, de outra forma, permaneceriam abstratas e distantes da realidade dos alunos.

• Aprendizagens Essenciais
• DGE: Aprendizagens Essenciais MACS 10.º - Modelos de Apoio à Decisão
• DGE: Aprendizagens Essenciais MACS 10.º - Sistemas de Votação

• 20–50 min
• Pares → Turma inteira
• 3 atividades

Atividade 01

• Debate Formal
• 45 min · Pequenos grupos

Debate Formal: O Detetor de Falácias

Os alunos analisam discursos políticos ou publicitários reais para identificar argumentos logicamente inválidos. Em pequenos grupos, devem reconstruir os argumentos em linguagem simbólica e usar tabelas de verdade para provar se a conclusão deriva logicamente das premissas.

Em que diferem maioria absoluta e pluralidade simples?

Sugestão de Facilitação

Durante o Debate Estruturado, atribua papéis específicos (ex: detetive, advogado de defesa) para garantir que os alunos justificam cada passo lógico com exemplos práticos.

O que observar

Entregue aos alunos uma folha com duas frases. Peça-lhes para identificarem quais são proposições e para escreverem uma frase composta usando um conector lógico (ex: 'e', 'ou') ligando as duas proposições, se aplicável. Peça-lhes também para indicarem o valor de verdade da frase composta, assumindo valores de verdade específicos para as proposições simples.

• Analisar
• Avaliar
• Criar
• Autogestão
• Tomada de Decisão

Atividade 02

• Pensar-Partilhar-Apresentar
• 20 min · Pares

Pensar-Partilhar-Apresentar: O Enigma da Implicação

O professor apresenta proposições do tipo 'se P, então Q' que desafiam o senso comum. Os alunos pensam individualmente sobre o valor de verdade quando o antecedente é falso, discutem com um par e depois partilham com a turma para construir o conceito de vacuidade.

Como funciona o método de Borda e em que situações origina resultados surpreendentes?

Sugestão de Facilitação

No Think-Pair-Share, forneça cartões com proposições simples para que os alunos combinem fisicamente conectores e avaliem o valor de verdade antes de discutirem em pares.

O que observar

Apresente no quadro uma proposição composta simples (ex: 'Está sol e está calor'). Peça aos alunos para escreverem a sua representação simbólica usando p e q, e para construírem a linha correspondente na tabela de verdade para a conjunção. Verifique as respostas individualmente ou em pequenos grupos.

• Compreender
• Aplicar
• Analisar
• Autoconsciência
• Competências Relacionais

Atividade 03

• Círculo de Investigação
• 50 min · Pequenos grupos

Círculo de Investigação: Circuitos Lógicos

Utilizando simuladores online ou cartões físicos, os grupos devem desenhar 'circuitos' que representem proposições complexas. O objetivo é simplificar a expressão lógica original usando as leis de De Morgan para criar o circuito mais eficiente possível.

Que paradoxos existem nos sistemas de votação?

Sugestão de Facilitação

Na Investigação Colaborativa de Circuitos Lógicos, peça aos alunos para desenharem primeiro os circuitos no papel para depois traduzirem a simbologia para tabelas de verdade.

O que observar

Coloque a seguinte questão: 'Considerem a afirmação: 'Se chover, então levo o guarda-chuva'. Se não chover, a afirmação é falsa? Porquê?' Guie a discussão para explorar a natureza da implicação material e como as tabelas de verdade a definem, mesmo em situações que parecem contraintuitivas no quotidiano.

• Analisar
• Avaliar
• Criar
• Autogestão
• Autoconsciência

Algumas notas sobre lecionar esta unidade

Comece com exemplos do quotidiano para introduzir a distinção entre forma e conteúdo das proposições. Evite apresentar a tabela de verdade como um conjunto de regras a decorar; em vez disso, construa-a gradualmente a partir de casos concretos. Pesquisas indicam que a manipulação física de conectores (usando fichas ou cartões) aumenta significativamente a retenção dos conceitos.

No final, os alunos distinguem claramente proposições simples de compostas, usam conectores lógicos com precisão e analisam argumentos com base em tabelas de verdade e estruturas formais. A fluência na manipulação de conectores reflete-se na capacidade de construir e desconstruir raciocínios complexos.

---

Atenção a estes erros comuns

• Durante o Debate Estruturado: O Detetor de Falácias, watch for alunos que confundam a negação da implicação 'Se P, então Q' com 'Se P, então não Q'.

  Peça-lhes para formularem a negação na linguagem corrente (ex: 'Prometi que, se chover, levaria o guarda-chuva') e depois mostre que a negação correta é 'Choveu e não levei o guarda-chuva', usando contraexemplos para destacar a quebra da promessa.

• Durante o Think-Pair-Share: O Enigma da Implicação, watch for alunos que interpretem o 'ou' matemático como exclusivo.

  Use objetos com múltiplas propriedades (ex: uma figura com forma redonda e cor azul) e peça aos alunos para classificarem afirmações como 'A figura é redonda ou azul' como verdadeiras, mesmo quando ambas as condições se verificam simultaneamente.

---

Metodologias usadas neste resumo

• Debate Formal
• Pensar-Partilhar-Apresentar
• Círculo de Investigação