5 Novembro 2024, 09:00
•
Maria Adriana Sequeira da Silva Graça
Exercícios diversos de revisão para o 1º teste.
4 Novembro 2024, 09:00
•
Maria Adriana Sequeira da Silva Graça
Exercícios diversos de revisão para o 1º teste.
31 Outubro 2024, 13:00
•
António José Teiga Zilhão
2. Álgebra das Proposições
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.
2.8.3. Método sintáctico de resolução do Problema da Decisão.
2.8.3.1. Conceito de Forma Normal de uma qualquer fórmula da Álgebra das Proposições.
2.8.3.2. Recondução de fórmulas da álgebra das proposições às suas Formas Normais Conjuntiva e Disjuntiva.
2.8.3.3. O Teorema T - enunciado e demonstração.
2.8.3.4. O Critério T - enunciado e demonstração.
2.8.3.5. Exemplos de aplicação do critério T à forma normal conjuntiva de fórmulas da álgebra das proposições como método sintáctico de resolver o problema da decisão.
31 Outubro 2024, 09:00
•
Maria Adriana Sequeira da Silva Graça
Exercícios de construção de árvores semânticas. Diferentes funções para as quais este método serve.