Aula teórica 15
5 Novembro 2019, 09:30 • Maria da Purificação Antunes Coelho
Como demonstrar uma conjunção. Estratégia para demonstrar uma igualdade de conjuntos; estratégia para demonstrar uma equivalência.
Como usar um dado da forma "P ou Q"; divisão de uma demonstração em casos exaustivos.
Como demonstrar um objetivo da forma "P ou Q".