TP11: asserções com um quantificador. Tipologia da aula: videoconferência + presencial.

2 Novembro 2020, 11:00 • Mário João de Jesus Branco

TP13 - 30 de outubro

30 Outubro 2020, 14:00 • Maria da Purificação Antunes Coelho

Exercícios 21(b), 22(a), 18(b) e 23 (alíneas (a) a (d) e (i) a (l)).

TP11: tautologias, contradições, demonstrações e quantificadores. Tipologia da aula: videoconferência + presencial.

30 Outubro 2020, 11:00 • Mário João de Jesus Branco

TP14 - 30 de outubro

30 Outubro 2020, 11:00 • Maria da Purificação Antunes Coelho

Exercícios 21(b), 22(a), 18 e 23(a)-(d).

Aula teórica 8

29 Outubro 2020, 11:30 • Maria da Purificação Antunes Coelho

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).