TP13: quantificadores

16 Novembro 2018, 14:00 • Mário João de Jesus Branco

TP11: quantificadores e conjuntos

16 Novembro 2018, 11:00 • Mário João de Jesus Branco

Aula 16 TP14

16 Novembro 2018, 11:00 • Maria da Purificação Antunes Coelho

Esclarecimento de dúvidas.

Aula teórica 17

15 Novembro 2018, 11:30 • Maria da Purificação Antunes Coelho

Estratégias para demonstrar um objetivo da forma "Existe um e um só x tal que P(x)".
Mais alguns exemplos de inferências válidas e de tautologias.

Aula 16 TP12

15 Novembro 2018, 10:00 • Maria da Purificação Antunes Coelho

Exercício 36 e início do exercício 38(c).
Esclarecimento de dúvidas.