Os slides de Lógica Computacional se encontram nos seguintes links:
- Proposições e Conectivos: LogMat_Slide-01;
- Operações Lógicas sobre Proposições: LogMat_Slide-02;
- Construção de Tabelas Verdade: LogMat_Slide-03;
- Tautologias, Contradições e Contingências: LogMat_Slide-04;
- Implicação Lógica: LogMat_Slide-05;
- Equivalência Lógica: LogMat_Slide-06;
- Álgebra das Proposições: LogMat_Slide-07;
- Método Dedutivo: LogMat_Slide-08;
- Método Dedutivo (continuação): LogMat_Slide-09;
- Argumentos e Regras de Inferência: LogMat_Slide-10;
- Validade Mediante Tabelas Verdade: LogMat_Slide-11;
- Validade Mediante Regras de Inferência: LogMat_Slide-12;
- Validade Mediante Regras de Inferência e Equivalência: LogMat_Slide-13;
- Demonstração Condicional e Demonstração Indireta: LogMat_Slide-14;
- Sentenças Abertas: LogMat_Slide-15;
- Operações Lógicas sobre Sentenças Abertas: LogMat_Slide-16;
- Quantificadores: LogMat_Slide-17.
Tabela de Inferências e Equivalências: Tabela_Regras-Inf_Equiv.
———————————————-
Tem um programa legal para construir tabelas verdade.
Este programa pode ser obtido nesse post.
abs