Sumários
III. Lógica Proposicional - 4
11 Novembro 2025, 09:00 • António José Teiga Zilhão
Resolução de diferentes exercícios no âmbito da teoria das funções de verdade e da álgebra de proposições.
L. Aristotélica
10 Novembro 2025, 13:00 • Maria Adriana Sequeira da Silva Graça
Teoria do Silogismo.
III. Lógica Proposicional - 3
10 Novembro 2025, 09:00 • António José Teiga Zilhão
2. Álgebra das Proposições
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.
2.8.4. O Critério Sigma.
L. Aristotélica
6 Novembro 2025, 13:00 • Maria Adriana Sequeira da Silva Graça
O problema da implicação existencial. Teoria da Conversão.