Aula teórica 16

13 Novembro 2018, 09:30 • Maria da Purificação Antunes Coelho

Como demonstrar um objetivo da forma "P ou Q".

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