Aula teórica 14
6 Novembro 2018, 09:30 • Maria da Purificação Antunes Coelho
Como demonstrar um objetivo da forma "Existe x tal que P(x)". Como usar um dado da forma "Existe x tal que P(x)". Como usar um dado da forma "Para todo o x, P(x)". Como demonstrar uma conjunção. Estratégia para demonstrar uma igualdade de conjuntos; estratégia para demonstrar uma equivalência.