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).
Demonstração de alguns sequentes notáveis do Cálculo de Predicados.