Sumários
TP13: análise lógica e equivalência lógica
28 Setembro 2018, 14:00 • Mário João de Jesus Branco
Resolução dos Exercícios 4.c), d), 5, 6, 7 parcialmente e 8.a).
Aula 3 TP14
28 Setembro 2018, 11:00 • Maria da Purificação Antunes Coelho
Exercícios 8 (alíneas d a g), 10 (alíneas a e b), 11 e 12. Início do exercício 14.
TP11: análise lógica e equivalência lógica
28 Setembro 2018, 11:00 • Mário João de Jesus Branco
Resolução dos Exercícios 5.d)-i), 6, 7 parcialmente e 8.a)-e).
Aula teórica 4
27 Setembro 2018, 11:30 • Maria da Purificação Antunes Coelho
Recíproco e contrarrecíproco de uma implicação. Diversas maneiras de traduzir uma implicação na linguagem corrente.
Condições. Condições universais, condições possíveis e condições impossíveis.
Aula 3 TP12
27 Setembro 2018, 10:00 • Maria da Purificação Antunes Coelho
Exercícios 8 (alíneas d a g), 10 (alíneas a e b), 11 e 12.