IV. Lógica de Predicados - 1
2 Dezembro 2021, 14:00 • António José Teiga Zilhão
A. A Lógica de Predicados - fundamentos.
B. O Cálculo de Predicados.
1. Vocabulário;
2. Sintaxe;
2.1. Regras de Formação.
2.2. Regras de Inferência
2.2.1. EQU
2.2.2. IQE
2.2.3. IQU