Sumários
Aula 11 - TP14
27 Outubro 2016, 08:00 • Maria da Purificação Antunes Coelho
Exercícios 43(2), 43(3), 44(1), 79, 80 e 82(1).
Aula 10 - TP14
26 Outubro 2016, 09:30 • Maria da Purificação Antunes Coelho
Entrega do miniteste e correção de algumas questões do mesmo. Exercícios 33, 39(3), 40 e 41.
Aula 10 - TP13
26 Outubro 2016, 08:00 • Maria da Purificação Antunes Coelho
Exercícios 43(2), 43(3), 44(1), 79, 80 e 82(1).
AULA 11
25 Outubro 2016, 10:30 • Fernando Ferreira
A dedução formal de ~(A & B) a partir de ~A V ~B (considerações sobre estratégias de dedução). As regras da =Intro e da =Elim. Exemplo de deduções sem premissas. Dedução formal da lei da simetria da igualdade.
10 TP11
25 Outubro 2016, 08:00 • Fernando Ferreira
Considerações sobre o primeiro mini-teste. Exercício 39.