IV. Lógica de Predicados - 2
6 Dezembro 2021, 14:00 • António José Teiga Zilhão
B. O Cálculo de Predicados
2.2. Regras de Inferência
2.2.4. Regras de inferência primitivas específicas do Cálculo de Predicados: a regra EQE.
2.2.5. Regras de inferência derivadas: IDQs (1,2,3,4)
2.2.6. Alguns sequentes mais salientes do Cálculo de Predicados.