AULA 22

6 Dezembro 2016, 10:30 • Fernando Ferreira

Demonstrações informais com quantificadores. Nomes novos (batismos). As regras formais (AElim), (EIntro) e (EElim). Exemplos.