Aula teórica 9
3 Novembro 2020, 09:30 • Maria da Purificação Antunes Coelho
Negação de expressões com quantificadores.
Conjuntos: a noção de subconjunto; princípio da extensionalidade; conjuntos definidos por condições; interseção e união de um par de conjuntos; complementar de um conjunto noutro.