Sumários

TP11: regras de inferência, demonstrações, quantificadores e operações sobre conjuntos

7 Outubro 2019, 11:00 • Mário João de Jesus Branco

Resolução dos Exercícios 20.g)-l), 21.b)-c), 22, 23.a), b), 28.a), b), c) e 29.a)-d).

TP14 aula 6

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

Conclusão do exercício 21. Exercícios 22, 23, 28 e 29. 

TP13 aula 5

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

Exercícios 15b), 17a), 18 e 21(a).

TP14 aula 5

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

Exercícios 15b), 17a), 18b) e 21a).

TP11: expressão de conectivos lógicos à custa de outros e regras de inferência

4 Outubro 2019, 11:00 • Mário João de Jesus Branco

Resolução dos Exercícios 18.b)iii), iv), 19, 20.a)-f) e 21.a).