Aula teórica 13

30 Outubro 2018, 09:30 • Maria da Purificação Antunes Coelho

Demonstrações por contrarrecíproco. Estratégia para demonstrar um objetivo da forma "Para todo o x, P(x)". Como demonstrar uma inclusão de conjuntos.