Lógica de Predicados - IV
1 Dezembro 2015, 10:00 • António José Teiga Zilhão
Regras de inferência do Cálculo de Predicados: i) Interderivabilidades Quantificacionais (IDQ); ii) Alguns sequentes elementares do Cálculo de Predicados.
1 Dezembro 2015, 10:00 • António José Teiga Zilhão
Regras de inferência do Cálculo de Predicados: i) Interderivabilidades Quantificacionais (IDQ); ii) Alguns sequentes elementares do Cálculo de Predicados.