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:
- 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.
- 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.
- 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).
- 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.
- 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)
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 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.
