Filosofia · 2ª Série EM

Ideias de aprendizagem ativa

Lógica Proposicional: Tabelas Verdade

A lógica proposicional exige manipulação abstrata de símbolos e valores, difícil de dominar apenas com exposição teórica. Quando os alunos constroem tabelas-verdade com as próprias mãos, transformam conceitos abstratos em representações concretas, fixando melhor a estrutura dos conectivos e a contagem de linhas.

• Habilidades BNCC
• EM13CHS101
• EM13LGG103

• 25–45 min
• Duplas → Turma toda
• 4 atividades

Atividade 01

• Rotação por Estações
• 30 min · Duplas

Duplas: Construção de Tabelas Básicas

Em duplas, os alunos recebem proposições simples com conectivos e constroem tabelas-verdade passo a passo: listam combinações de V/F, calculam colunas intermediárias e determinam o resultado final. Cada dupla apresenta uma tabela para a classe discutir erros comuns. Finalize com correção coletiva.

Construa tabelas verdade para proposições complexas utilizando conectivos lógicos.

Dica de Facilitação

Durante a construção em duplas, circule entre os grupos e peça que expliquem oralmente como preencheram uma linha específica da tabela.

O que observar

Apresente aos alunos a proposição complexa 'Se chover (P), então o chão molha (Q) E o sol não brilha (¬R)'. Peça para construírem a tabela-verdade correspondente e identificarem se a proposição é uma tautologia, contradição ou contingência.

• Lembrar
• Compreender
• Aplicar
• Analisar
• Autogestão
• Habilidades de Relacionamento

Atividade 02

• Rotação por Estações
• 45 min · Pequenos grupos

Pequenos Grupos: Validação de Argumentos

Divida a classe em grupos de 4. Forneça argumentos silogísticos simples; cada grupo constrói a tabela-verdade das premissas e conclusão para verificar validade. Grupos trocam argumentos para análise cruzada e debatem resultados. Registre conclusões em cartaz.

Analise a validade de argumentos simples através da construção de tabelas verdade.

Dica de Facilitação

No jogo de cartas lógicas, monitore as rodadas para garantir que os alunos justifiquem suas jogadas usando as tabelas-verdade que construíram.

O que observar

Entregue a cada aluno um argumento simples, como 'Se estudo (P), então passo na prova (Q). Eu estudei (P). Logo, passo na prova (Q).' Peça para construírem a tabela-verdade e determinarem se o argumento é válido, justificando a resposta.

• Lembrar
• Compreender
• Aplicar
• Analisar
• Autogestão
• Habilidades de Relacionamento

Atividade 03

• Rotação por Estações
• 35 min · Turma toda

Turma Inteira: Jogo de Cartas Lógicas

Prepare cartas com proposições e conectivos. A turma, em círculo, constrói coletivamente uma tabela-verdade projetada, votando em cada passo. Erros geram discussões rápidas. Termine com um argumento surpresa para validar em tempo real.

Explique a importância das tabelas verdade para a formalização do raciocínio lógico.

Dica de Facilitação

No desafio individual, observe se os alunos usam a estratégia de decompor proposições complexas em partes menores antes de preencher a tabela.

O que observar

Inicie uma discussão com a pergunta: 'Por que é importante para um filósofo ou qualquer pessoa que argumenta saber construir e interpretar tabelas-verdade?'. Incentive os alunos a conectarem a formalização lógica com a clareza e a solidez dos argumentos em debates.

• Lembrar
• Compreender
• Aplicar
• Analisar
• Autogestão
• Habilidades de Relacionamento

Atividade 04

• Rotação por Estações
• 25 min · Individual

Individual: Desafio de Proposições Complexas

Cada aluno recebe uma proposição com múltiplos conectivos para construir tabela-verdade sozinhos. Oriente com checklist: colunas, combinações, cálculos. Colete para feedback e compartilhe exemplos resolvidos em plenária.

Construa tabelas verdade para proposições complexas utilizando conectivos lógicos.

O que observar

Apresente aos alunos a proposição complexa 'Se chover (P), então o chão molha (Q) E o sol não brilha (¬R)'. Peça para construírem a tabela-verdade correspondente e identificarem se a proposição é uma tautologia, contradição ou contingência.

• Lembrar
• Compreender
• Aplicar
• Analisar
• Autogestão
• Habilidades de Relacionamento

Algumas notas sobre ensinar esta unidade

Comece com exemplos simples do cotidiano para ancorar os conectivos lógicos em situações reais. Evite apresentar todas as regras de uma vez: introduza negação e conjunção primeiro, depois disjunção e implicação, permitindo que os alunos internalizem cada etapa. Pesquisas mostram que a prática guiada com feedback imediato reduz a fixação de erros conceituais, por isso incentive discussões rápidas após cada atividade antes de avançar.

Os alunos criam tabelas-verdade sem erros na contagem de linhas ou na interpretação dos conectivos, explicam com exemplos próprios por que um argumento é válido ou inválido e aplicam corretamente negação, conjunção e implicação em proposições cotidianas.

---

Cuidado com estes equívocos

• Durante a atividade 'Validação de Argumentos', watch for alunos que julguem a validade de um argumento pela verdade das premissas.

  Interrompa a atividade e peça que construam a tabela-verdade completa do argumento, destacando que a validade depende apenas da estrutura lógica: se em todas as linhas onde as premissas são verdadeiras a conclusão também é.

• Durante a atividade 'Construção de Tabelas Básicas', watch for alunos que confundam implicação (p → q) com equivalência.

  Peça que preencham uma tabela com p verdadeiro e q falso, mostrando que a implicação é falsa nessa linha, enquanto a equivalência só seria falsa se p e q tivessem valores diferentes.

• Durante o 'Jogo de Cartas Lógicas', watch for alunos que subestimem o número de linhas necessárias para tabelas com três ou mais proposições.

  Pare a partida e conte em voz alta as combinações possíveis para n variáveis, usando exemplos concretos do jogo para fixar o padrão 2^n.

---

Metodologias usadas neste resumo

• Rotação por Estações