Sumários

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.

TP12 aula 7

10 Outubro 2019, 10:00 • Maria da Purificação Antunes Coelho

Exercícios 23 (conclusão), 24, 26 e 27.

TP12 aula 6

8 Outubro 2019, 10:30 • Maria da Purificação Antunes Coelho

Conclusão do exercício 21. Exercícios 22, 28 e 29. Discussão de algumas alíneas do exercício 23.

Aula teórica 7

8 Outubro 2019, 09:30 • Maria da Purificação Antunes Coelho

Condições. Condições universais, condições possíveis e condições impossíveis. Asserções da forma "Para todo o x, P(x)" e asserções da forma "Existe x tal que P(x)". Distributividade do quantificador universal (respetivamente existencial) relativamente à conjunção (respetivamente disjunção). Não distributividade do quantificador universal (respetivamente existencial) relativamente à disjunção (respetivamente conjunção).

TP13 aula 6

7 Outubro 2019, 13:30 • Maria da Purificação Antunes Coelho

Conclusão do exercício 21. Exercícios 22, 28 e 29. Discussão de algumas alíneas do exercício 23.