Aula teórica 18
14 Novembro 2019, 11:30 • Maria da Purificação Antunes Coelho
Estratégias para demonstrar um objetivo da forma "Existe um e um só x tal que P(x)".
Como demonstrar que n asserções são equivalentes entre si, através de um "ciclo" de n implicações.
Introdução ao estudo das aplicações.