Lógica Proposicional: Conectivas

A lógica proposicional requer manipulação concreta para ser compreendida, pois as conectivas são abstrações que os alunos só dominam quando as testam com exemplos do dia a dia. A aprendizagem ativa funciona aqui porque obriga os alunos a manipularem proposições reais, construírem tabelas-verdade com as próprias mãos e discutirem em grupo os resultados, o que solidifica conceitos que, de outra forma, permaneceriam abstratos e confusos.

• 11° Ano
• O Pensamento Crítico e a Procura da Verdade
• 4 atividades
• 30 min–50 min

Objetivos de Aprendizagem

1. Identificar as cinco conectivas lógicas principais (negação, conjunção, disjunção, implicação, bi-implicação) e os seus símbolos correspondentes.
2. Construir tabelas de verdade para proposições simples e compostas, determinando os seus valores de verdade em todas as combinações possíveis.
3. Avaliar a validade de argumentos lógicos simples, utilizando tabelas de verdade para verificar se a conclusão se segue necessariamente das premissas.
4. Classificar proposições compostas como tautologias, contradições ou contingências com base nos seus valores de verdade em tabelas de verdade.
5. Formalizar proposições do discurso quotidiano em linguagem simbólica lógica, aplicando corretamente as conectivas.

Resolução Colaborativa de Problemas

⏱ 50 min·Pequenos grupos

Estações de Conectivas: Rotação Prática

Crie quatro estações, uma para cada tipo principal de conectiva: negação e conjunção numa, disjunção noutra, implicação e bi-implicação na terceira, e análise de tabelas na última. Os grupos rotacionam a cada 10 minutos, formalizando proposições simples e registando valores de verdade em fichas. No final, partilham descobertas em plenário.

Preparação e detalhes

Analise como as conectivas lógicas alteram o valor de verdade de uma proposição composta.

Sugestão de Facilitação: Durante a Estações de Conectivas, circule entre grupos para garantir que todos os alunos manipulam pelo menos uma proposição com cada conectiva antes de passarem à estação seguinte.

Setup: Grupos organizados em mesas com os materiais do problema

Materials: Dossiê do problema, Cartões de funções (facilitador, relator, controlador de tempo, porta-voz), Folha de protocolo de resolução de problemas, Grelha de avaliação da solução

• Aplicar
• Analisar
• Avaliar
• Criar
• Competências Relacionais
• Tomada de Decisão
• Autogestão

Resolução Colaborativa de Problemas

⏱ 30 min·Pares

Jogo de Cartões Lógicos: Verdade ou Falso

Prepare cartões com proposições e conectivas; os pares combinam-nas para formar compostas e preenchem tabelas-verdade rápidas. Competem para identificar tautologias primeiro, discutindo casos duvidosos. Registe pontos por acertos coletivos para motivar.

Preparação e detalhes

Construa tabelas de verdade para avaliar a validade de argumentos simples.

Sugestão de Facilitação: No Jogo de Cartões Lógicos, observe os pares que hesitam entre 'verdadeiro' ou 'falso' e peça-lhes para justificarem a escolha com exemplos concretos para revelar os seus raciocínios ocultos.

Setup: Grupos organizados em mesas com os materiais do problema

Materials: Dossiê do problema, Cartões de funções (facilitador, relator, controlador de tempo, porta-voz), Folha de protocolo de resolução de problemas, Grelha de avaliação da solução

• Aplicar
• Analisar
• Avaliar
• Criar
• Competências Relacionais
• Tomada de Decisão
• Autogestão

Resolução Colaborativa de Problemas

⏱ 40 min·Pequenos grupos

Construção Coletiva de Tabelas-Verdade

Em grupo, os alunos recebem uma proposição complexa e dividem tarefas: uns calculam colunas intermédias, outros a final. Usem post-its para manipular valores de verdade numa tabela grande na parede. Discutam validade do argumento resultante.

Preparação e detalhes

Diferencie entre uma tautologia, uma contradição e uma contingência.

Sugestão de Facilitação: Na Construção Coletiva de Tabelas-Verdade, atribua a cada aluno uma linha da tabela para preencher, garantindo que todos participam e evitando que um aluno faça sozinho.

Setup: Grupos organizados em mesas com os materiais do problema

Materials: Dossiê do problema, Cartões de funções (facilitador, relator, controlador de tempo, porta-voz), Folha de protocolo de resolução de problemas, Grelha de avaliação da solução

• Aplicar
• Analisar
• Avaliar
• Criar
• Competências Relacionais
• Tomada de Decisão
• Autogestão

Resolução Colaborativa de Problemas

⏱ 45 min·Turma inteira

Debate Lógico: Argumentos Compostos

Apresente afirmações controversas; a turma divide-se em equipas para formalizá-las com conectivas e construir tabelas-verdade. Cada equipa defende se é tautologia ou contradição, com votação coletiva no final.

Preparação e detalhes

Analise como as conectivas lógicas alteram o valor de verdade de uma proposição composta.

Sugestão de Facilitação: No Debate Lógico, interrompa discussões que se desviem do tema com uma pergunta direta como 'Qual é o valor de verdade de p nesta linha?' para redirecionar a atenção para as tabelas.

Setup: Grupos organizados em mesas com os materiais do problema

Materials: Dossiê do problema, Cartões de funções (facilitador, relator, controlador de tempo, porta-voz), Folha de protocolo de resolução de problemas, Grelha de avaliação da solução

• Aplicar
• Analisar
• Avaliar
• Criar
• Competências Relacionais
• Tomada de Decisão
• Autogestão

Ensinar Este Tópico

Comece sempre com exemplos do quotidiano para ancorar as conectivas abstratas. Evite apresentar as tabelas-verdade como regras a decorar; em vez disso, construa-as passo a passo com os alunos, linha por linha, para que compreendam como cada conectiva afeta o resultado. Pesquisas mostram que a manipulação física de proposições e a discussão em pares reduzem significativamente as confusões entre conectivas, especialmente a implicação e a disjunção.

O Que Esperar

Os alunos demonstram sucesso quando formalizam corretamente proposições com conectivas lógicas, constroem tabelas-verdade completas e sem erros, e distinguem com rigor tautologias de contradições e contingências. Espera-se que consigam aplicar as conectivas em argumentos quotidianos e que discutam, em grupo, a validade lógica das proposições compostas que analisam.

Atenção a estes erros comuns

Erro comum

Durante o Jogo de Cartões Lógicos, watch for alunos que confundem a implicação (p → q) com uma conjunção (p ∧ q) ao avaliar proposições como 'Se chover, levo o guarda-chuva'.

O que ensinar em alternativa

Peça-lhes para manipularem os cartões com valores de p e q distintos (por exemplo, p verdadeiro e q falso) e questionem: 'Neste caso, a proposição é falsa?'. Use exemplos reais para mostrar que a implicação só é falsa quando p é verdadeiro e q é falso.

Erro comum

Durante as Estações de Conectivas, watch for alunos que interpretam a disjunção (p ∨ q) como 'exclusiva', excluindo casos em que ambas sejam verdadeiras.

O que ensinar em alternativa

Na estação da disjunção, peça-lhes para testarem proposições como 'Chove ou faz sol' em dias de chuva e sol ao mesmo tempo. Pergunte: 'A proposição é verdadeira nestes dias?' para clarificar a disjunção inclusiva padrão.

Erro comum

Durante a Construção Coletiva de Tabelas-Verdade, watch for alunos que pensam que uma tautologia é uma proposição sempre verdadeira independentemente do contexto.

O que ensinar em alternativa

Peça-lhes para construírem a tabela-verdade de uma proposição simples como p ∨ ¬p e questionem: 'Porque é que esta linha é sempre verdadeira?'. Destaque que a tautologia depende das conectivas, não de verdades absolutas.

Ideias de Avaliação

Verificação Rápida

Durante a Estações de Conectivas, apresente aos alunos uma proposição como 'O sol brilha e está calor'. Peça-lhes para formalizarem a proposição usando ∧ e indicarem o valor de verdade da proposição composta se 'O sol brilha' for verdadeiro e 'está calor' for falso.

Bilhete de Saída

Após o Jogo de Cartões Lógicos, entregue a cada aluno uma folha com a proposição 'Se chover, então levo o guarda-chuva'. Peça-lhes para construírem a tabela-verdade para esta implicação e determinarem se a proposição é uma tautologia, contradição ou contingência.

Questão para Discussão

Durante o Debate Lógico, coloque no quadro duas proposições: P: 'Estudo para o teste.' e Q: 'Passo no teste.'. Apresente o argumento: 'Se P, então Q. P. Logo, Q.' Peça aos alunos para formalizarem este argumento e discutirem, com base nas tabelas de verdade, se a conclusão é logicamente válida.

Extensões e Apoio

• Challenge: Durante a Construção Coletiva de Tabelas-Verdade, peça aos alunos mais rápidos para identificarem uma tautologia entre as proposições compostas já analisadas e justificarem a sua escolha com a tabela completa.
• Scaffolding: Durante o Jogo de Cartões Lógicos, forneça aos alunos que têm dificuldade cartões com proposições já formalizadas para que se foquem apenas na avaliação dos valores de verdade.
• Deeper: Após o Debate Lógico, peça aos alunos que escrevam um argumento composto com três proposições e construam a respetiva tabela-verdade completa, identificando se é válido ou inválido.

Vocabulário-Chave

Conectiva Lógica	Símbolo ou palavra que liga proposições simples para formar proposições compostas, alterando o seu valor de verdade. Exemplos incluem 'e', 'ou', 'se... então'.
Tabela de Verdade	Tabela que mostra todos os valores de verdade possíveis de uma proposição composta para todas as combinações de valores de verdade das proposições simples que a compõem.
Tautologia	Uma proposição composta que é sempre verdadeira, independentemente dos valores de verdade das suas proposições constituintes. A sua última coluna na tabela de verdade contém apenas 'Verdadeiro'.
Contradição	Uma proposição composta que é sempre falsa, independentemente dos valores de verdade das suas proposições constituintes. A sua última coluna na tabela de verdade contém apenas 'Falso'.
Contingência	Uma proposição composta que pode ser verdadeira ou falsa, dependendo dos valores de verdade das suas proposições constituintes. A sua última coluna na tabela de verdade contém tanto 'Verdadeiro' como 'Falso'.