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.

Seminário História e Filosofia das Ciências

6 Novembro 2025, 09:00 • António José Teiga Zilhão

Conferência: Fronteiras da Consciência