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.