Sumários
III. Lógica Proposicional - 2
4 Novembro 2025, 09:00 • António José Teiga Zilhão
2. Álgebra das Proposições
2.6. Derivação de quinze substituibilidades não elementares a partir das substituibilidades elementares.
2.7. Tipologia de fórmulas da álgebra das proposições: tautologias, contradições e fórmulas contingentes.
2.8. O Problema da Decisão.
2.8.1. Enunciação do problema.
2.8.2. Método
semântico de resolução do Problema da Decisão: determinação da natureza
de uma qualquer fórmula da Álgebra das Proposições por meio da
construção da sua tabela de verdade.
III. Lógica Proposicional - 1
3 Novembro 2025, 09:00 • António José Teiga Zilhão
1.Teoria das funções de verdade.
1.1. As funções de verdade como um tipo específico de função.
1.2. As funções de verdade elementares: negação, conjunção, disjunção inclusiva, implicação material e equivalência.
2. Álgebra das proposições.
2.1. O conceito de uma álgebra das proposições.
2.2. Definição de fórmula da álgebra das proposições.
2.3. Definição de substituibilidade entre fórmulas da álgebra das proposições.
2.4. Substituibilidades elementares.
2.5. Definição de substituibilidade parcial.
Revisões
30 Outubro 2025, 13:00 • Maria Adriana Sequeira da Silva Graça
Revisões para o primeiro teste de avaliação.
Gestão da Avaliação - 3
30 Outubro 2025, 09:00 • António José Teiga Zilhão