Descrição
Esta atividade prática, prevista para 5h, integra a disciplina Lógica e Matemática Computacional (Unidade: U4 — Aula: A3) e aborda especificamente a construção e interpretação de tabelas verdade. O foco é operacional: construir tabelas para conectivos básicos (conjunção, disjunção e negação), aplicar as Leis de De Morgan e identificar exemplos de tautologia, contradição e contingência a partir de proposições exemplificadas no roteiro.
O experimento é compatível com infraestrutura digital indicada (NSA SOLUÇÃO DIGITAL) e pode ser executado com qualquer software de lógica proposicional ou planilha eletrônica (Excel, Google Sheets) para automação das tabelas. O procedimento inclui exercícios com proposições nomeadas no roteiro (por exemplo P: “Hoje é segunda‑feira.”, Q: “Está chovendo.”, R/S, T, U/V) e culmina na organização dos resultados e análise em um documento final.
O que é desenvolvido nesta atividade
Os alunos irão praticar a construção passo a passo de tabelas verdade para operações lógicas (P AND Q; R OR S; NOT T), aplicar as Leis de De Morgan em proposições compostas (NOT (U AND V) versus NOT U OR NOT V), e classificar proposições compostas como tautologia, contradição ou contingência (por exemplo W: P OR NOT P; X: P AND NOT P; Y: expressão composta). Espera‑se que ao final o estudante seja capaz de registrar os resultados, interpretar as tabelas e produzir uma análise escrita dos achados.
Principais conteúdos abordados
- Disciplina: Lógica e Matemática Computacional — Unidade U4, Aula A3 (Tabela Verdade).
- Conectivos lógicos: conjunção (AND), disjunção (OR) e negação (NOT).
- Leis de De Morgan e identificação de tautologia, contradição e contingência.
- Exemplos práticos com proposições nomeadas (P, Q, R, S, T, U, V, W, X, Y).
- Ferramentas: software de lógica proposicional ou planilhas (Excel, Google Sheets).
- Entrega requerida: PDF com todas as tabelas verdade e análise; incluir nome e número de matrícula.
- Referência bibliográfica indicada: BISPO FILHO et al., Introdução à lógica matemática (2017).
ROTEIRO DE AULA PRÁTICA
NOME DA DISCIPLINA: LÓGICA E MATEMÁTICA COMPUTACIONAL
Unidade: U4 _ TABELA VERDADE
Aula: A3_ APLICAÇÕES DA TABELA VERDADE
Tempo previsto de execução de aula prática: 5h
OBJETIVOS
Definição dos objetivos da aula prática:
1. Compreender os fundamentos da tabela verdade e sua aplicação em lógica
proposicional.
2. Desenvolver habilidades na construção e interpretação de tabelas verdade.
3. Aplicar a tabela verdade para resolver problemas envolvendo conectivos lógicos,
incluindo AND, OR e Negação.
4. Explorar a aplicação das leis de De Morgan e conceitos de implicação lógica, tautologia,
contradição e contingência.
INFRAESTRUTURA
Instalações – Materiais de consumo – Equipamentos:
NSA
SOLUÇÃO DIGITAL
Infraestrutura mínima necessária para execução.
Qualquer software de lógica proposicional ou planilhas eletrônicas (Excel, Google Sheets) para
construção automática de tabelas verdade.
PROCEDIMENTO PARA INSTALAÇÃO: NSA
LINK: NSA
EQUIPAMENTO DE PROTEÇÃO INDIVIDUAL (EPI)
DESCRIÇÃO OS EPIs NECESSÁRIOS PARA A REALIZAÇÃO DA AULA PRÁTICA
NSA
Público3
PROCEDIMENTOS PRÁTICOS
Procedimento/Atividade nº 1 (Digital)
Atividade proposta:
Você realizará a construção de tabelas verdade para um conjunto específico de proposições
lógicas. A atividade inclui a análise dessas tabelas e a aplicação das leis de De Morgan, além
de identificar exemplos de tautologias, contradições e contingências.
Procedimentos para a realização da atividade
Link do vídeo ilustrativo da aula:
Passo-a-passo do procedimento para a execução da atividade/procedimento prático:
1. Tabela Verdade para Conjunção (AND – E):
Construa uma tabela verdade para as proposições P e Q, onde:
P: “Hoje é segunda-feira.”
Q: “Está chovendo.”
Registre os resultados para P AND Q.
2. Tabela Verdade para Disjunção (OR – OU):
Construa uma tabela verdade para as proposições R e S, onde:
R: “A luz está acesa.”
S: “A porta está aberta.”
Registre os resultados para R OR S.
3. Tabela Verdade para Negação:
Construa uma tabela verdade para a proposição T, onde:
T: “O céu está limpo.”
Registre os resultados para NOT T (negação de T).
4. Aplicação das Leis de De Morgan:
Construa uma tabela verdade para a proposição U e V, onde:
U: “O computador está ligado.”
V: “A internet está conectada.”
Registre os resultados para a aplicação das Leis de De Morgan: NOT (U AND V) e NOT
U OR NOT V.
5. Identificação de Tautologia, Contradição e Contingência:
Construa uma tabela verdade para as seguintes proposições compostas:
W: (P OR NOT P) (Tautologia).
X: (P AND NOT P) (Contradição).
Y: (P OR Q) AND (NOT Q OR R) (Contingência).
Público4
Registre e analise os resultados.
Checklist:
Conferência dos pontos importantes que devem ser pontuados na execução da
atividade/procedimento.
• Construir a tabela verdade para P AND Q.
• Construir a tabela verdade para R OR S.
• Construir a tabela verdade para NOT T.
• Aplicar as Leis de De Morgan.
• Identificar e analisar corretamente os exemplos de tautologia, contradição e contingência.
RESULTADOS
Resultados de Aprendizagem:
Espera-se que ao final desta aula pràtica o aluno tenha desenvolvido:
• Ser capaz de construir e interpretar tabelas verdade para diferentes conectivos lógicos.
• Entender como aplicar as Leis de De Morgan em proposições lógicas.
• Reconhecer e explicar proposições lógicas especiais (tautologia, contradição e
contingência).
• Melhorar habilidades de análise lógica e de registro de resultados.
ESTUDANTE, VOCÊ DEVERÁ ENTREGAR
Descrição orientativa sobre a entrega da comprovação da aula prática:
• Um documento PDF contendo todas as tabelas verdade construídas e uma análise dos
resultados obtidos para cada uma.
• Insira o seu nome e número de matrícula no documento.
REFERÊNCIAS BIBLIOGRÁFICAS
Descrição (em abnt) das referências utilizadas
BISPO FILHO, Carlos Alberto Ferreira; CASTANHEIRA, Luiz Batista; SOUZA FILHO, Oswaldo
Melo. Introdução à lógica matemática. São Paulo: Cengage Learning, 2017
Prefere falar pelo WhatsApp?
Se estiver acessando pelo computador, escaneie o QR Code abaixo com a câmera do celular para abrir nosso atendimento no WhatsApp.
