AULA 24

13 Dezembro 2016, 10:30 • Fernando Ferreira

Revisão das regras da instanciação universal (AElim), generalização existencial (EIntro) e instanciação existencial (EElim). A regra da generalização universal (AIntro). Exemplos.