Sumários
Sessão de apresentação de projecto
9 Dezembro 2019, 18:00 • António José Teiga Zilhão
Os estudantes foram convidados a assistir à sessão de apresentação do projecto "Os rascunhos de Os Degraus de Parnaso, de M. S. Lourenço" na BNL.
IV. Lógica de Predicados - 4
5 Dezembro 2019, 18:00 • António José Teiga Zilhão
Resolução de exercícios no Cálculo de Predicados.
IV. Lógica de Predicados - 3
4 Dezembro 2019, 18:00 • António José Teiga Zilhão
Sintaxe do Cálculo de Predicados: Regras de inferência derivadas - as Interderivabilidades Quantificacionais (IDQs). Demonstração de alguns sequentes notáveis do Cálculo de Predicados.
IV. Lógica de Predicados - 2
2 Dezembro 2019, 18:00 • António José Teiga Zilhão
Sintaxe do Cálculo de Predicados: regras elementares de inferência - as regras EQU, IQE, IQU e EQE.
IV. Lógica de Predicados - 1
28 Novembro 2019, 18:00 • António José Teiga Zilhão
Introdução à Lógica de Predicados. O Cálculo de Predicados: vocabulário e regras de formação