Aula teórica 17
3 Dezembro 2020, 11:30 • Maria da Purificação Antunes Coelho
Asserções da forma "Existe um e um só x tal que P(x)" e suas representações simbólicas.
Estratégias para demonstrar um objetivo da forma "Existe um e um só x tal que P(x)".