AULA 22
4 Dezembro 2018, 10:30 • Fernando Ferreira
A regra da instanciação existencial (EElim). Uma demonstração informal e outra formal. Novo exemplo de demonstração formal (uma das leis de De Morgan para a quantificação).
Resolução e discussão dos exercícios 108(11)(12), 125(2) e 132(2).