Aula teórica 13
17 Novembro 2020, 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 "Para todo o x, P(x)". Como usar um dado da forma "Existe x tal que P(x)".
17 Novembro 2020, 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 "Para todo o x, P(x)". Como usar um dado da forma "Existe x tal que P(x)".