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.