Sumários
Lógica de Predicados - IV
6 Dezembro 2016, 10:00 • António José Teiga Zilhão
Resolução de exercícios na Lógica de Predicados.
Lógica de Predicados - III
2 Dezembro 2016, 10:00 • António José Teiga Zilhão
Regras de inferência derivadas do Cálculo de Predicados: as Interderivabilidades Quantificacionais (IDQs).
Lógica de Predicados - II
29 Novembro 2016, 10:00 • António José Teiga Zilhão
O Cálculo de Predicados: regras de inferência EQU, IQE, IQU e EQE.
Lógica de Predicados - I
25 Novembro 2016, 10: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.