Aula teórica 11

22 Outubro 2019, 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)".