Aula teórica 8
10 Outubro 2019, 11: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.