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.
Existência e unicidade.
6 Dezembro 2016, 10:30 • Fernando Ferreira
Demonstrações informais com quantificadores. Nomes novos (batismos). As regras formais (AElim), (EIntro) e (EElim). Exemplos.