Aula teórica 15

8 Novembro 2018, 11:30 • Maria da Purificação Antunes Coelho

Como usar um dado da forma "P ou Q" (divisão de uma demonstração em casos exaustivos). Como provar um objetivo da forma "P ou Q".