Aula teórica 7

9 Outubro 2018, 09:30 Maria da Purificação Antunes Coelho

Negação de expressões com quantificadores. Asserções da forma "Existe um e um só x tal que P(x)".