Aula teórica 16

7 Novembro 2019, 11:30 • Maria da Purificação Antunes Coelho

Estratégia para demonstrar um objetivo da forma "P ou Q".
Demonstrações por absurdo.
Estratégias para demonstrar um objetivo da forma "não P".