AULA 21
28 Novembro 2017, 10:30 • Fernando Ferreira
Exemplos de algumas traduções.
Demonstrações informais e formais com quantificadores. Exemplo. As regras da intanciação universal (AElim), generalização existencial (EIntro). Constantes novas para nomear objetos que advêm de asserções de existência: a regra da instanciação existencial (EElim). Exemplo.