Sumários
TP13 aula 7
14 Outubro 2024, 08:00 • Maria da Purificação Antunes Coelho
Exercícios 31 (conclusão), 33, 34 e 35.
TP14 aula 6
11 Outubro 2024, 11:30 • Maria da Purificação Antunes Coelho
Exercícios 14 e 15, conclusão do exercício 30 e início do exercício 31.
Aula teórica 8
11 Outubro 2024, 09:30 • Maria da Purificação Antunes Coelho
Inferências básicas com a conjunção e a disjunção. O método de demonstração por casos. Introdução ao sistema formal de dedução natural de Fitch. As regras formais de introdução e eliminação da conjunção. Um exemplo.
TP11_8
11 Outubro 2024, 08:00 • Mário Jorge Edmundo
Discussão e resolução dos exercícios: 28, 14, 15.