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.