IV. Lógica de Predicados - 2
10 Dezembro 2020, 15:30 • António José Teiga Zilhão
B. O Cálculo de Predicados
2.2. Regras de Inferência
2.2.1. Regras de inferência primitivas específicas do Cálculo de Predicados: EQU, IQE, IQU, EQE.
2.2.2. Regras de inferência derivadas: IDQs (1,2,3,4)
2.2.3. Alguns sequentes mais salientes do Cálculo de Predicados.