Sumários
TP13
7 Outubro 2016, 14:00 • Catarina Araujo de Santa Clara Gomes
Resolução de exercícios da ficha 1C.
Exercícios 1D
7 Outubro 2016, 11:00 • Mário Jorge Edmundo
Resolução de exercícios da folha de Exercícios 1D
TP14
7 Outubro 2016, 11:00 • Catarina Araujo de Santa Clara Gomes
Resolução de exercícios da ficha 1C.
Tema: equivalência e implicação lógica de condições
6 Outubro 2016, 11:30 • Mário Jorge Edmundo
Equivalência lógica de condições; propriedades; contra-recíproca; negação de uma implicação; negação de uma equivalência; regras de substituição. Implicação lógica de condições; propriedades.
Exercícios 1D
6 Outubro 2016, 10:00 • Mário Jorge Edmundo
Resolução de exercícios da folha de Exercícios 1D